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