VERTICAL_SCROLL_BAR_TOP_BORDER  562 src/w32term.h    ((height) - VERTICAL_SCROLL_BAR_TOP_BORDER - VERTICAL_SCROLL_BAR_BOTTOM_BORDER)
VERTICAL_SCROLL_BAR_TOP_BORDER 16368 src/xterm.c    		      bar->top + VERTICAL_SCROLL_BAR_TOP_BORDER,
VERTICAL_SCROLL_BAR_TOP_BORDER 16384 src/xterm.c    		  bar->top + VERTICAL_SCROLL_BAR_TOP_BORDER + start,
VERTICAL_SCROLL_BAR_TOP_BORDER 16401 src/xterm.c    		      bar->top + VERTICAL_SCROLL_BAR_TOP_BORDER + end,
VERTICAL_SCROLL_BAR_TOP_BORDER 17027 src/xterm.c          y = event->xbutton.y - VERTICAL_SCROLL_BAR_TOP_BORDER;
VERTICAL_SCROLL_BAR_TOP_BORDER 17127 src/xterm.c          win_y -= VERTICAL_SCROLL_BAR_TOP_BORDER;
VERTICAL_SCROLL_BAR_TOP_BORDER 1525 src/xterm.h      ((height) - VERTICAL_SCROLL_BAR_TOP_BORDER - VERTICAL_SCROLL_BAR_BOTTOM_BORDER)