VERTICAL_SCROLL_BAR_TOP_RANGE  556 src/w32term.h  #define VERTICAL_SCROLL_BAR_TOP_RANGE(f,height)				\
VERTICAL_SCROLL_BAR_TOP_RANGE 1633 src/xterm.h    #define VERTICAL_SCROLL_BAR_TOP_RANGE(f, height) \