gnome-shell/js
Jonas Dreßler 470439124f main: Only restore key focus on pop when modal actor is still focused
If something grabs the key focus while a modal is pushed, keeping
key-focus on that actor seems like the smarter thing to do than setting
it back to the last focus after the modal gets popped again. So check if
the key focus actor that we set when pushing the modal got changed when
popping that modal, and if it got changed, simply don't touch key focus.

This fixes a bug with the close dialog, where key focus isn't correctly
set to the dialog after alt-tabbing to a window showing a close dialog.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/786>
(cherry picked from commit 4d544d7b56)
2024-02-11 21:21:00 +01:00
..
dbusServices Revert "screencastService: Add dmabuf/GL pipeline" 2023-07-04 16:20:06 +02:00
gdm authPrompt: Also replace full-width colon 2023-02-13 20:32:21 +00:00
misc misc: Fetch environment from launch context before spawn_async() 2023-11-30 19:12:49 +01:00
perf tests/closeWithActiveWindows: Also test input method tear down 2023-04-20 14:52:01 +02:00
portalHelper portalHelper: Switch to soup3-based WebKitGTK 2022-06-21 19:29:02 +00:00
ui main: Only restore key focus on pop when modal actor is still focused 2024-02-11 21:21:00 +01:00
js-resources.gresource.xml tests/perf: Add test for shutdown with open window 2023-04-20 14:49:38 +02: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