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

+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

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