[mutter] prefs: Queue change notification when app menu visibility changed

[Florian Müllner <fmuellner src gnome org>]

commit d7e99a3f86c69a97bbf401e1b28deb48f0cbfb33
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Jun 3 00:00:36 2014 +0200

    prefs: Queue change notification when app menu visibility changed
    
    Toggling the option should have an immediate effect, not only on
    frame/state changes.

 src/core/prefs.c |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/src/core/prefs.c b/src/core/prefs.c
index d5ea41c..06b2f70 100644
--- a/src/core/prefs.c
+++ b/src/core/prefs.c
@@ -1234,6 +1234,7 @@ xsettings_overrides_changed (GSettings  *settings,
   GVariant *value;
   GVariantDict overrides;
   int shell_shows_app_menu = 1;
+  gboolean changed = FALSE;
 
   if (!g_settings_get_boolean (settings, "active"))
     goto out;
@@ -1247,8 +1248,13 @@ xsettings_overrides_changed (GSettings  *settings,
                          "Gtk/ShellShowsAppMenu", "i", &shell_shows_app_menu);
   g_variant_dict_clear (&overrides);
 
+  changed = (show_fallback_app_menu == !!shell_shows_app_menu);
+
 out:
   show_fallback_app_menu = !shell_shows_app_menu;
+
+  if (changed)
+    queue_changed (META_PREF_BUTTON_LAYOUT);
 }
 
 /**