w32_set_scroll_bar_default_width 7544 src/w32term.c terminal->set_scroll_bar_default_width_hook = w32_set_scroll_bar_default_width; w32_set_scroll_bar_default_width 238 src/w32term.h extern void w32_set_scroll_bar_default_width (struct frame *);