SCROLL_BAR_HORIZONTAL_NAME 4005 src/pgtkterm.c   const char *scroll_bar_name = SCROLL_BAR_HORIZONTAL_NAME;
SCROLL_BAR_HORIZONTAL_NAME 15516 src/xterm.c      const char *scroll_bar_name = SCROLL_BAR_HORIZONTAL_NAME;
SCROLL_BAR_HORIZONTAL_NAME 15742 src/xterm.c      const char *scroll_bar_name = SCROLL_BAR_HORIZONTAL_NAME;