[mutter] window-props.c: React to changes to _GTK_FRAME_EXTENTS

[Owen Taylor <otaylor src gnome org>]

commit ff790f7b39c066f2dfc02c72c0f15d07e0cd4705
Author: Owen W. Taylor <otaylor fishsoup net>
Date:   Fri Nov 22 08:57:44 2013 -0500

    window-props.c: React to changes to _GTK_FRAME_EXTENTS
    
    When _GTK_FRAME_EXTENTS changes, we need to redo constraints on
    the window - this matters in particular if the toolkit removes
    invisible borders when a window is maximized, since otherwise
    the maximized window will be positioned as if it still has
    invisible borders.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=714707

 src/core/window-props.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/core/window-props.c b/src/core/window-props.c
index 13ee3bb..c03df1a 100644
--- a/src/core/window-props.c
+++ b/src/core/window-props.c
@@ -316,6 +316,9 @@ reload_gtk_frame_extents (MetaWindow    *window,
     {
       window->has_custom_frame_extents = FALSE;
     }
+
+  if (!initial)
+    meta_window_queue(window, META_QUEUE_MOVE_RESIZE);
 }
 
 static void