Florian Müllner 6cfcfc72cc panel: Update window section items on title changes ... We currently only update the windows section when either the focus app changes, or when the app's windows change (that is, a window is opened or closed). This allows the menu item labels to become stale if the window title changes after one of those events (for example when switching tabs). Fix this by updating menu items when the corresponding window title changes. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1830		2019-10-28 12:42:28 +01:00
..
extensionPrefs	cleanup: Use consistent brace style of blocks	2019-09-15 16:02:45 +02:00
gdm	authPrompt: Wiggle on failure	2019-10-18 11:25:45 +00:00
misc	util: Add wiggle helper	2019-10-18 11:25:45 +00:00
perf	overview: Add OverviewActor and use as main actor of the Overlay	2019-10-16 15:26:13 +00:00
portalHelper	cleanup: Mark globals used from other modules as exported	2019-07-24 00:28:45 +02:00
ui	panel: Update window section items on title changes	2019-10-28 12:42:28 +01:00
js-resources.gresource.xml	accessibility: Add pointer accessibility support	2019-06-06 09:13:29 +02:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00