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 *);