SCROLL_BAR_NAME  3991 src/pgtkterm.c   const char *scroll_bar_name = SCROLL_BAR_NAME;
SCROLL_BAR_NAME  15811 src/xterm.c      const char *scroll_bar_name = SCROLL_BAR_NAME;
SCROLL_BAR_NAME  15841 src/xterm.c      const char *scroll_bar_name = SCROLL_BAR_NAME;