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

1 files changed, 2 insertions, 0 deletions

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;
 }