x_set_scroll_bar_default_height 31916 src/xterm.c terminal->set_scroll_bar_default_height_hook = x_set_scroll_bar_default_height; x_set_scroll_bar_default_height 1909 src/xterm.h extern void x_set_scroll_bar_default_height (struct frame *);