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

diff --git a/src/ChangeLog b/src/ChangeLog
index d09b9de34fa6e27e3063f3e1a22e462e05d38fb3..09b4b3f59a1a723b3b49881a6ffd538ffe0a9223 100644 (file)
--- 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 b23d84c8b825f638c00bf87cd5b59619ba5992e2..fedaa0f3a2d5e26bc5bc70aa288e2e21889c246e 100644 (file)
--- 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;
 }