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).

2 files changed, 7 insertions, 0 deletions

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  <rudalics@gmx.at>
+
+        * gtkutil.c (update_theme_scrollbar_width): Don't round up
+        scroll bar width with GTK3 (Bug#20182).
+
 2015-03-22  John F Carr  <jfc@mit.edu>  (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;
 }