gnome-shell

History

Florian Müllner ccd8b47d30 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-06 20:26:01 +01:00

extensionPrefs

extensionPrefs: Always redefine getCurrentExtension() on prefsModule access

2019-12-05 15:24:34 +00:00

gdm

style: Allow lonely ifs where appropriate

2019-11-11 23:51:17 +00:00

misc

fileUtils: Delete deleteGFile hack

2019-11-26 22:17:28 +00:00

perf

cleanup: Require "dangling" commas