robert.mader@collabora.com 3b921ba0cb overview: Handle unredirection in OverviewShown state machine ... Under certain unknown circumstances currently not every `disable_unredirect_for_display()` gets matched with an `enable_unredirect_for_display()` when closing the overview. As we only want to not disable unredirection when hidden and we nowadays have a state machine that ensures we transition to and from one state to another only once, handle unredirection en-/disablement as part of the state transition. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2970> (cherry picked from commit a94fcee961)		2023-09-27 12:31:41 +02:00
..
dbusServices	screencastService: Handle case where no videos directory exists	2023-02-13 12:47:14 +01:00
gdm	gdmUtil: Fix SignalTracker leak in ShellUserVerifier	2023-02-13 16:58:11 +01:00
misc	ibusManager: Add missing environment variables required to launch ibus-daemon	2023-09-15 21:02:09 +02:00
perf	perf/basic: Toggle quick settings instead of old menu	2022-12-05 23:41:27 +01:00
portalHelper	portalHelper: Switch to soup3-based WebKitGTK	2022-06-21 19:29:02 +00:00
ui	overview: Handle unredirection in OverviewShown state machine	2023-09-27 12:31:41 +02:00
js-resources.gresource.xml	status/power: Merge with system indicator	2022-08-03 12:41:05 +00:00
meson.build	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml	js/portal-resources: Add missing fileUtils to js path	2022-11-03 18:02:27 +00:00