Fix double accounting of border width

For csd, we were subtracting the border width one too many
times from the child height, causing clipped off content e.g.
in the 'Properties' window in testgtk.
This commit is contained in:
Matthias Clasen
2013-03-17 19:00:13 -04:00
parent 75a1e8251e
commit 2fe07c9068

View File

@ -6073,7 +6073,9 @@ _gtk_window_set_allocation (GtkWindow *window,
title_border.top +
title_border.bottom;
child_allocation.width -= window_border.left + window_border.right;
child_allocation.height -= child_allocation.y + window_border.bottom;
child_allocation.height -= window_border.top + window_border.bottom +
title_border.top + title_border.bottom +
title_height;
}
if (gtk_widget_get_realized (widget))