gnome-shell/js
Florian Müllner 78a7cc1836 windowManager: Undim parent when minimizing attached modal
Minimizing modal dialogs is highly unconventional - and in fact
disabled in our own code - but apps can still do it programmatically.

The parent window shouldn't remain dimmed in that case, so make
sure to re-check dimming when minimizing an attached modal.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5581

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2337>
2022-06-21 22:06:01 +00:00
..
dbusServices dbusServices/screencast: Install unconditionally 2022-05-20 12:00:22 +00:00
gdm Js: Use new :icon-name property 2022-05-06 13:39:40 +00:00
misc config: Check runtime dependencies at runtime 2022-05-20 12:00:22 +00:00
perf cleanup: Use new indentation style for object literals 2022-02-23 12:23:52 +00:00
portalHelper portalHelper: Switch to soup3-based WebKitGTK 2022-06-21 19:29:02 +00:00
ui windowManager: Undim parent when minimizing attached modal 2022-06-21 22:06:01 +00:00
js-resources.gresource.xml signalTracker: Provide monkey-patching for (dis)connectObject() 2022-03-04 14:14:37 +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: Remove unused files from resources 2020-03-09 13:18:48 +00:00