Support _GTK_FRAME_EXTENTS

https://bugzilla.gnome.org/show_bug.cgi?id=705766
This commit is contained in:
Jasper St. Pierre
2013-08-08 16:58:20 -04:00
parent c20b007985
commit 12d2e1f600
4 changed files with 46 additions and 1 deletions

View File

@@ -5821,7 +5821,18 @@ meta_window_get_outer_rect (const MetaWindow *window,
rect->height -= borders.invisible.top + borders.invisible.bottom;
}
else
*rect = window->rect;
{
*rect = window->rect;
if (window->has_custom_frame_extents)
{
GtkBorder *extents = &window->custom_frame_extents;
rect->x += extents->left;
rect->y += extents->top;
rect->width -= extents->left + extents->right;
rect->height -= extents->top + extents->bottom;
}
}
}
const char*