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
..
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-04-13 09:15:48 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00
2018-02-21 13:54:58 +00:00
2018-07-06 19:56:19 +02:00
2018-07-06 19:56:19 +02:00