зеркало из https://github.com/mozilla/gecko-dev.git
bug 1343802 remove code for native scrollbar thumb border sizes r=jhorak+328198
There is no need to calculate thumb borders because thumb border-box sizes are determined with GetMinimumWidgetSize, which includes GTK margin, border, and padding, and the interior border width is irrelevant because thumbs have no children. MozReview-Commit-ID: K2N2RBJBRsB --HG-- extra : rebase_source : c750cdf9c9722f7796c89b8083bf2bfd32fffcbb
This commit is contained in:
Родитель
8abe43df06
Коммит
713232a30d
|
@ -2248,17 +2248,6 @@ moz_gtk_get_widget_border(WidgetNodeType widget, gint* left, gint* top,
|
|||
}
|
||||
break;
|
||||
|
||||
case MOZ_GTK_SCROLLBAR_THUMB_HORIZONTAL:
|
||||
case MOZ_GTK_SCROLLBAR_THUMB_VERTICAL:
|
||||
{
|
||||
if (gtk_check_version(3,20,0) == nullptr) {
|
||||
style = ClaimStyleContext(widget);
|
||||
moz_gtk_add_margin_border_padding(style, left, top, right, bottom);
|
||||
ReleaseStyleContext(style);
|
||||
}
|
||||
return MOZ_GTK_SUCCESS;
|
||||
}
|
||||
break;
|
||||
/* These widgets have no borders, since they are not containers. */
|
||||
case MOZ_GTK_CHECKBUTTON_LABEL:
|
||||
case MOZ_GTK_RADIOBUTTON_LABEL:
|
||||
|
@ -2267,6 +2256,8 @@ moz_gtk_get_widget_border(WidgetNodeType widget, gint* left, gint* top,
|
|||
case MOZ_GTK_CHECKBUTTON:
|
||||
case MOZ_GTK_RADIOBUTTON:
|
||||
case MOZ_GTK_SCROLLBAR_BUTTON:
|
||||
case MOZ_GTK_SCROLLBAR_THUMB_HORIZONTAL:
|
||||
case MOZ_GTK_SCROLLBAR_THUMB_VERTICAL:
|
||||
case MOZ_GTK_SCALE_THUMB_HORIZONTAL:
|
||||
case MOZ_GTK_SCALE_THUMB_VERTICAL:
|
||||
case MOZ_GTK_GRIPPER:
|
||||
|
|
Загрузка…
Ссылка в новой задаче