Florian Müllner dc79393b27 panel: Replace remote app menu ... Since the plans to retire the app menu were announced, nobody objected to the removal of the menu content, however some concerns were raised about the menu's secondary role as indicator. Account for that by not removing the existing app menu, but replacing it with a built-in menu similar to the existing app icon context menu. https://gitlab.gnome.org/GNOME/gnome-shell/issues/624		2019-02-06 18:29:12 +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: Replace remote app menu	2019-02-06 18:29:12 +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