In "Group: Window List", some window names take some time to update

Schneegans / Gnome-Pie

A pie menu launcher for linux. Read the release announcement of version 0.7.2 at https://schneegans.github.io/news/2018/10/30/gnome-pie-072 Or have a look at the homepage!

http://schneegans.github.io/gnome-pie.html

MIT License

308 stars 54 forks source link

In "Group: Window List", some window names take some time to update #148

Closed tcorreabr closed 7 years ago

tcorreabr commented 7 years ago

Windows that often change their names, like music players or multiple file text editors, take some time to display the new name.

Schneegans commented 7 years ago

Fixed by 9f8ff5e. Thank you!