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