gui_set_scroll_bar_height 2965 src/androidfns.c   gui_set_scroll_bar_height,
gui_set_scroll_bar_height 1849 src/frame.h    extern void gui_set_scroll_bar_height (struct frame *, Lisp_Object, Lisp_Object);
gui_set_scroll_bar_height 3174 src/haikufns.c     gui_set_scroll_bar_height,
gui_set_scroll_bar_height  964 src/pgtkfns.c      gui_set_scroll_bar_height,	/* generic OK */
gui_set_scroll_bar_height 10576 src/w32fns.c     gui_set_scroll_bar_height,
gui_set_scroll_bar_height 10150 src/xfns.c       gui_set_scroll_bar_height,