gnome-shell/js
Jonas Ådahl 900398406c panel: Keep prefs in sync with shell-shows-app-menu state
Previously mutter listened to Xsettings (via GTK) to get notified
whether the shell showed the app menu. After X11 support was changed in
the direction of being less central, listening to this particular
Xsettings were removed with the intention of having the Shell tell
mutter directly whether it was showing the menu or not.

This commit makes that happen. It still travels through Xsettings (still
via Gtk), as the shell still gets that state from Xsettings, but fixing
this is out of scope for this particular fix.

Closes: https://gitlab.gnome.org/GNOME/mutter/issues/276
2018-08-28 23:53:10 +00:00
..
extensionPrefs js: use ES6 template strings for dbus interfaces 2018-08-27 19:23:00 +02:00
gdm js: use ES6 template strings for dbus interfaces 2018-08-27 19:23:00 +02:00
misc inputMethod: Fix to hide preedit text 2018-08-28 20:24:35 +02:00
perf scripting: Fix argument list of createTestWindow() 2018-04-25 23:47:06 +02:00
portalHelper js: use ES6 template strings for dbus interfaces 2018-08-27 19:23:00 +02:00
ui panel: Keep prefs in sync with shell-shows-app-menu state 2018-08-28 23:53:10 +00:00
js-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00