Florian Müllner afd2ce2353 popupMenu: Close when a system modal pops up ...

Just like switcher popups, popup menus don't play well together with
system modals, and generally have a lower priority. So just like
switcher popups, close popup menus when a system modal dialog pops
up.

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

2019-12-11 20:35:13 +01:00

..

extensionPrefs

cleanup: Use consistent brace style of blocks

2019-09-15 16:02:45 +02:00

gdm

loginDialog: Stop using deprecated actor property

2019-09-20 16:58:00 +00:00

misc

weather: Only require auto-location authorization if sandboxed

2019-12-11 20:35:13 +01:00

perf

cleanup: Disambiguate assignments in arrow functions

2019-09-15 16:02:45 +02:00

portalHelper

cleanup: Mark globals used from other modules as exported

2019-07-24 00:28:45 +02:00

ui

popupMenu: Close when a system modal pops up

2019-12-11 20:35:13 +01:00

js-resources.gresource.xml

…

meson.build

…

portal-resources.gresource.xml

…

prefs-resources.gresource.xml

…