Jonas Dreßler 7585ae6962 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-09 14:04:26 +01:00
..
dbusServices	dbusServices/extensions: Improve error message formatting	2024-01-06 22:44:07 +01:00
extensions	extensions: Fix ngettext convenience	2023-09-15 21:41:30 +00:00
gdm	cleanup: Use type-safe comparisons	2023-08-09 15:10:38 +00:00
misc	extensionSystem: Improve error formatting	2024-01-06 22:44:07 +01:00
portalHelper	js: Port Config to ESM	2023-08-10 17:42:23 +00:00
ui	main: Only restore key focus on pop when modal actor is still focused	2024-02-09 14:04:26 +01:00
js-resources.gresource.xml	js: Add utility to improve error message formatting	2024-01-06 22:44:07 +01: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