pgtk_set_scroll_bar_default_width 4804 src/pgtkterm.c = pgtk_set_scroll_bar_default_width; pgtk_set_scroll_bar_default_width 616 src/pgtkterm.h extern void pgtk_set_scroll_bar_default_width (struct frame *);