Florian Müllner c334aa2a4c panel: Ignore shell-shows-app-menu setting ... The GtkSettings was originally introduced to inform applications about the desktop shell's capabilities, but users soon started to use it to force GTK+ to show the app menu inside the application. We eventually caved and also handled the setting ourselves to hide the in-shell app menu to allow users to "move" it. But now the remote app menu is in the process of being retired[0], and will be replaced with a simple indicator that cannot be moved, so stop following the GtkSetting. [0] https://gitlab.gnome.org/GNOME/Initiatives/wikis/App-Menu-Retirement https://gitlab.gnome.org/GNOME/gnome-shell/issues/624		2019-02-06 18:26:56 +01:00
..
extensionPrefs	extensionPrefs: Work around xgettext bug	2019-02-03 16:11:09 +00:00
gdm	shellActionModes: disable POPUP keybindings in unlock screen	2019-02-05 11:09:40 -05:00
misc	objectManager: Fix index mix-up	2019-02-05 02:21:40 +00:00
perf	perf: Stop using legacy generator functions	2019-01-28 17:29:35 +00:00
portalHelper	cleanup: Port GObject classes to JS6 classes	2019-01-25 14:02:44 +00:00
ui	panel: Ignore shell-shows-app-menu setting	2019-02-06 18:26:56 +01:00
js-resources.gresource.xml	appDisplay: Separate PageIndicators to a separate file	2019-02-05 16:25:54 +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