w32_set_scroll_bar_default_height 7545 src/w32term.c terminal->set_scroll_bar_default_height_hook = w32_set_scroll_bar_default_height; w32_set_scroll_bar_default_height 239 src/w32term.h extern void w32_set_scroll_bar_default_height (struct frame *);