Bug 1410885 - Use helpers for MOZ_GTK_HEADER_BAR* widgets, r?jhorak draft
authorMartin Stransky <stransky@redhat.com>
Mon, 23 Oct 2017 15:17:32 +0200
changeset 684714 55b4b0b3c23ca3f6ef6c6686b7206ae66ad25592
parent 684713 0a7cbdc1a8cbe6dbeaa4c4834701c238f5e6ccf1
child 736941 7896a9912cf0746e294e6e8b592323859563368d
push id85700
push userstransky@redhat.com
push dateMon, 23 Oct 2017 13:24:13 +0000
reviewersjhorak
bugs1410885
milestone58.0a1
Bug 1410885 - Use helpers for MOZ_GTK_HEADER_BAR* widgets, r?jhorak MozReview-Commit-ID: BFJtufWnW8Y
widget/gtk/gtk3drawing.cpp
--- 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);