Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-02-27 12:50:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 1506248 - Backout bug 1498356 (3df978f11b6d) since bug 1503272 makes it unnecessary now. r=stransky

Browse Source 
Depends on D11524

Differential Revision: https://phabricator.services.mozilla.com/D11525

--HG--
extra : moz-landing-system : lando
This commit is contained in:
Mike Conley 2018-11-12 12:16:50 +00:00
parent 606458ffcd
commit b299e6e7ad
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
widget/gtk/gtk3drawing.cpp
View File

@ -2340,6 +2340,8 @@ moz_gtk_header_bar_paint(WidgetNodeType widgetType,
GtkStyleContext *style =
GetStyleContext(widgetType, GTK_TEXT_DIR_NONE, state_flags);
InsetByMargin(rect, style);
// Some themes (Adwaita for instance) draws bold dark line at
// titlebar bottom. It does not fit well with Firefox tabs so
// draw with some extent to make the titlebar bottom part invisible.
@ -2574,6 +2576,14 @@ moz_gtk_get_widget_border(WidgetNodeType widget, gint* left, gint* top,
return MOZ_GTK_SUCCESS;
}
case MOZ_GTK_HEADER_BAR:
case MOZ_GTK_HEADER_BAR_MAXIMIZED:
{
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. */
case MOZ_GTK_CHECKBUTTON_LABEL:
case MOZ_GTK_RADIOBUTTON_LABEL:
@ -2593,8 +2603,6 @@ moz_gtk_get_widget_border(WidgetNodeType widget, gint* left, gint* top,
case MOZ_GTK_TREEVIEW_EXPANDER:
case MOZ_GTK_TOOLBAR_SEPARATOR:
case MOZ_GTK_MENUSEPARATOR:
case MOZ_GTK_HEADER_BAR:
case MOZ_GTK_HEADER_BAR_MAXIMIZED:
case MOZ_GTK_HEADER_BAR_BUTTON_CLOSE:
case MOZ_GTK_HEADER_BAR_BUTTON_MINIMIZE:
case MOZ_GTK_HEADER_BAR_BUTTON_MAXIMIZE: