edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-18 07:34:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
gnome-shell/js
History
Exact
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