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).
This commit is contained in:
parent
921dd0de45
commit
13cf575c1d
2 changed files with 7 additions and 0 deletions
|
@ -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)
|
2015-03-22 John F Carr <jfc@mit.edu> (tiny change)
|
||||||
|
|
||||||
* fontset.c (fontset_pattern_regexp): Backport: Replace + 1 with
|
* fontset.c (fontset_pattern_regexp): Backport: Replace + 1 with
|
||||||
|
|
|
@ -3570,7 +3570,9 @@ update_theme_scrollbar_width (void)
|
||||||
gtk_widget_destroy (wscroll);
|
gtk_widget_destroy (wscroll);
|
||||||
g_object_unref (G_OBJECT (wscroll));
|
g_object_unref (G_OBJECT (wscroll));
|
||||||
w += 2*b;
|
w += 2*b;
|
||||||
|
#ifndef HAVE_GTK3
|
||||||
if (w < 16) w = 16;
|
if (w < 16) w = 16;
|
||||||
|
#endif
|
||||||
scroll_bar_width_for_theme = w;
|
scroll_bar_width_for_theme = w;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue