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

Bug 1143686 - Gtk3 - Render scrollbar thumb with margin. r=karlt

Browse Source
This commit is contained in:
Martin Stransky 2015-03-16 08:00:00 -04:00
parent 2d0e7d7bf2
commit e50e738087
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
widget/gtk/gtk3drawing.c
View File

@ -1230,6 +1230,7 @@ moz_gtk_scrollbar_thumb_paint(GtkThemeWidgetType widget,
GtkStyleContext* style;
GtkScrollbar *scrollbar;
GtkAdjustment *adj;
GtkBorder margin;
ensure_scrollbar_widget();
@ -1246,8 +1247,13 @@ moz_gtk_scrollbar_thumb_paint(GtkThemeWidgetType widget,
gtk_style_context_add_class(style, GTK_STYLE_CLASS_SLIDER);
gtk_style_context_set_state(style, state_flags);
gtk_render_slider(style, cr, rect->x, rect->y,
rect->width, rect->height,
gtk_style_context_get_margin (style, state_flags, &margin);
gtk_render_slider(style, cr,
rect->x + margin.left,
rect->y + margin.top,
rect->width - margin.left - margin.right,
rect->height - margin.top - margin.bottom,
(widget == MOZ_GTK_SCROLLBAR_THUMB_HORIZONTAL) ?
GTK_ORIENTATION_HORIZONTAL : GTK_ORIENTATION_VERTICAL);