Bug 1410885 - Use helpers for MOZ_GTK_HEADER_BAR* widgets, r?jhorak
MozReview-Commit-ID: BFJtufWnW8Y
--- a/widget/gtk/gtk3drawing.cpp
+++ b/widget/gtk/gtk3drawing.cpp
@@ -2251,18 +2251,17 @@ moz_gtk_get_widget_border(WidgetNodeType
left, top, right, bottom);
return MOZ_GTK_SUCCESS;
}
case MOZ_GTK_HEADER_BAR:
case MOZ_GTK_HEADER_BAR_MAXIMIZED:
{
style = GetStyleContext(widget);
- moz_gtk_add_style_border(style, left, top, right, bottom);
- moz_gtk_add_style_padding(style, left, top, right, bottom);
+ moz_gtk_add_border_padding(style, left, top, right, bottom);
return MOZ_GTK_SUCCESS;
}
case MOZ_GTK_HEADER_BAR_BUTTON_CLOSE:
case MOZ_GTK_HEADER_BAR_BUTTON_MINIMIZE:
case MOZ_GTK_HEADER_BAR_BUTTON_MAXIMIZE:
{
style = GetStyleContext(widget);
moz_gtk_add_margin_border_padding(style, left, top, right, bottom);