Bug 1434621 - part 2: ignore vertical titlebar padding from the Gtk+ theme since we set it with CSS on #titlebar-buttonbox. r=dao

MozReview-Commit-ID: ETrNNianj3e
This commit is contained in:
Martin Stránský 2018-02-21 16:43:11 +01:00
parent 7514587643
commit 924797ef59

View File

@ -2371,6 +2371,7 @@ moz_gtk_get_widget_border(WidgetNodeType widget, gint* left, gint* top,
{
style = GetStyleContext(widget);
moz_gtk_add_border_padding(style, left, top, right, bottom);
*top = *bottom = 0;
return MOZ_GTK_SUCCESS;
}
/* These widgets have no borders, since they are not containers. */