pgtk_set_scroll_bar_default_height 4809 src/pgtkterm.c     = pgtk_set_scroll_bar_default_height;
pgtk_set_scroll_bar_default_height  617 src/pgtkterm.h extern void pgtk_set_scroll_bar_default_height (struct frame *);