diff options
author | Caolán McNamara <caolanm@redhat.com> | 2015-06-19 13:30:20 +0100 |
---|---|---|
committer | Caolán McNamara <caolanm@redhat.com> | 2015-06-19 13:30:20 +0100 |
commit | 3bc5d730dc2c7a093b9c490dc329c3429ce4f183 (patch) | |
tree | 0c9171a4066a523bfa069d92a962068a041a349b | |
parent | 109d1d193c959209846337f6fbdac3c588a9eb92 (diff) |
gtk3: we need to take margins in account for scrollbars
Change-Id: I406977acab12a2f805de1f57b91378e9b80195d4
-rw-r--r-- | vcl/unx/gtk3/gdi/gtk3salnativewidgets-gtk.cxx | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/vcl/unx/gtk3/gdi/gtk3salnativewidgets-gtk.cxx b/vcl/unx/gtk3/gdi/gtk3salnativewidgets-gtk.cxx index dec09d4a28f1..b20974c46ade 100644 --- a/vcl/unx/gtk3/gdi/gtk3salnativewidgets-gtk.cxx +++ b/vcl/unx/gtk3/gdi/gtk3salnativewidgets-gtk.cxx @@ -408,9 +408,15 @@ void GtkSalGraphics::PaintScrollbar(GtkStyleContext *context, gtk_style_context_set_state(context, stateFlags); gtk_style_context_add_class(context, GTK_STYLE_CLASS_SLIDER); + GtkBorder margin; + gtk_style_context_get_margin(context, stateFlags, &margin); + + gtk_render_slider(context, cr, - thumbRect.Left(), thumbRect.Top(), - thumbRect.GetWidth(), thumbRect.GetHeight(), scrollbarOrientation); + thumbRect.Left() + margin.left, thumbRect.Top() + margin.top, + thumbRect.GetWidth() - margin.left - margin.right, + thumbRect.GetHeight() - margin.top - margin.bottom, + scrollbarOrientation); gtk_style_context_restore(context); } |