From 13cf575c1d32bbe7cf42e017bce2e8cdc30a2946 Mon Sep 17 00:00:00 2001 From: Martin Rudalics Date: Wed, 25 Mar 2015 11:17:30 +0100 Subject: [PATCH] Don't round up scroll bar width with GTK3 (Bug#20182). * gtkutil.c (update_theme_scrollbar_width): Don't round up scroll bar width with GTK3 (Bug#20182). --- src/ChangeLog | 5 +++++ src/gtkutil.c | 2 ++ 2 files changed, 7 insertions(+) diff --git a/src/ChangeLog b/src/ChangeLog index d09b9de34fa..09b4b3f59a1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2015-03-25 Martin Rudalics + + * gtkutil.c (update_theme_scrollbar_width): Don't round up + scroll bar width with GTK3 (Bug#20182). + 2015-03-22 John F Carr (tiny change) * fontset.c (fontset_pattern_regexp): Backport: Replace + 1 with diff --git a/src/gtkutil.c b/src/gtkutil.c index b23d84c8b82..fedaa0f3a2d 100644 --- a/src/gtkutil.c +++ b/src/gtkutil.c @@ -3570,7 +3570,9 @@ update_theme_scrollbar_width (void) gtk_widget_destroy (wscroll); g_object_unref (G_OBJECT (wscroll)); w += 2*b; +#ifndef HAVE_GTK3 if (w < 16) w = 16; +#endif scroll_bar_width_for_theme = w; } -- 2.11.4.GIT