Jonas Dreßler 2bd80579ed layout: Show important actors above top_window_group ... The top_window_group is used for windows like popup menus, which should appear above shell chrome like the panel. Since we want important actors such as the screen keyboard or modal dialogs to be shown above those windows, add their actors after adding global.top_window_group to this.uiGroup and provide a new function addTopChrome() to add important chrome above the top_window_group. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/917 https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/358		2019-05-15 22:39:53 +00:00
..
extensionPrefs	extensionPrefs: Fix pref button appearance	2019-04-12 00:51:44 +02:00
gdm	cleanup: Fix spelling errors	2019-05-15 19:32:29 +00:00
misc	systemActions: Only do prefix matches	2019-05-15 17:20:21 +00:00
perf	perf: Stop using GTK	2019-04-11 17:27:50 +00:00
portalHelper	cleanup: Use destructuring for imports from GI	2019-02-09 07:39:20 +01:00
ui	layout: Show important actors above top_window_group	2019-05-15 22:39:53 +00:00
js-resources.gresource.xml	build: Remove remote menu support	2019-02-06 18:29:15 +01:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00