Handle scroll bar width larger than 16 for GTK3.
authorJan Djärv <jan.h.d@swipnet.se>
Sun, 5 Jun 2011 19:04:51 +0000 (21:04 +0200)
committerJan Djärv <jan.h.d@swipnet.se>
Sun, 5 Jun 2011 19:04:51 +0000 (21:04 +0200)
commita059fe247c6ba6be105986b229bf2d8374f40583
treee91c16de86332f52bfff728140fb3c5387c4128b
parentac09b8a1289ec8f8a71c8dc55d4eeebaf2600707
Handle scroll bar width larger than 16 for GTK3.

* gtkutil.c (xg_get_default_scrollbar_width): New function.

* gtkutil.h: Declare xg_get_default_scrollbar_width.

* xfns.c (x_set_scroll_bar_default_width): If USE_GTK, get
min width by calling x_set_scroll_bar_default_width.

Fixes: debbugs:8505
src/ChangeLog
src/gtkutil.c
src/gtkutil.h
src/xfns.c