VERTICAL_SCROLL_BAR_TOP_RANGE 3948 src/w32term.c    double range = VERTICAL_SCROLL_BAR_TOP_RANGE (f, bar->height)
VERTICAL_SCROLL_BAR_TOP_RANGE 4162 src/w32term.c      si.nMax = VERTICAL_SCROLL_BAR_TOP_RANGE (f, height)
VERTICAL_SCROLL_BAR_TOP_RANGE 4289 src/w32term.c  	  si.nMax = VERTICAL_SCROLL_BAR_TOP_RANGE (f, height)
VERTICAL_SCROLL_BAR_TOP_RANGE 4586 src/w32term.c      int top_range = VERTICAL_SCROLL_BAR_TOP_RANGE (f, bar->height);
VERTICAL_SCROLL_BAR_TOP_RANGE 4807 src/w32term.c    int top_range = VERTICAL_SCROLL_BAR_TOP_RANGE (f, bar->height);
VERTICAL_SCROLL_BAR_TOP_RANGE 16690 src/xterm.c      top_range = VERTICAL_SCROLL_BAR_TOP_RANGE (f, bar->height);
VERTICAL_SCROLL_BAR_TOP_RANGE 16924 src/xterm.c          int top_range = VERTICAL_SCROLL_BAR_TOP_RANGE (f, height);
VERTICAL_SCROLL_BAR_TOP_RANGE 17391 src/xterm.c    	= VERTICAL_SCROLL_BAR_TOP_RANGE (f, bar->height);
VERTICAL_SCROLL_BAR_TOP_RANGE 17490 src/xterm.c          int top_range = VERTICAL_SCROLL_BAR_TOP_RANGE (f, bar->height);