[gtk+] GtkHeaderBar: Refresh window buttons when settings change

[Matthias Clasen <matthiasc src gnome org>]

commit f723113127ae5d61cbd53dae4404f4f7a4f9c05c
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Jan 6 10:31:34 2014 -0500

    GtkHeaderBar: Refresh window buttons when settings change
    
    We already do this when the shell-shows-menu settings changes,
    but we forgot to do the same for the decoration layout.

 gtk/gtkheaderbar.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkheaderbar.c b/gtk/gtkheaderbar.c
index d1f3fa4..f466caf 100644
--- a/gtk/gtkheaderbar.c
+++ b/gtk/gtkheaderbar.c
@@ -1722,6 +1722,8 @@ gtk_header_bar_realize (GtkWidget *widget)
   settings = gtk_widget_get_settings (widget);
   g_signal_connect_swapped (settings, "notify::gtk-shell-shows-app-menu",
                             G_CALLBACK (_gtk_header_bar_update_window_buttons), widget);
+  g_signal_connect_swapped (settings, "notify::gtk-decoration-layout",
+                            G_CALLBACK (_gtk_header_bar_update_window_buttons), widget);
   _gtk_header_bar_update_window_buttons (GTK_HEADER_BAR (widget));
 }