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