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
This commit is contained in:
Owen W. Taylor 2013-11-22 08:57:44 -05:00 committed by Jasper St. Pierre
parent 4396ac809b
commit ebbdfabed6

View File

@ -316,6 +316,9 @@ reload_gtk_frame_extents (MetaWindow *window,
{ {
meta_window_set_custom_frame_extents (window, NULL); meta_window_set_custom_frame_extents (window, NULL);
} }
if (!initial)
meta_window_queue(window, META_QUEUE_MOVE_RESIZE);
} }
static void static void