gui_set_scroll_bar_height 1694 src/frame.h    extern void gui_set_scroll_bar_height (struct frame *, Lisp_Object, Lisp_Object);
gui_set_scroll_bar_height 3120 src/haikufns.c     gui_set_scroll_bar_height,
gui_set_scroll_bar_height  971 src/pgtkfns.c      gui_set_scroll_bar_height,	/* generic OK */
gui_set_scroll_bar_height 10540 src/w32fns.c     gui_set_scroll_bar_height,
gui_set_scroll_bar_height 9822 src/xfns.c       gui_set_scroll_bar_height,