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 16733 src/xterm.c    		      bar->top + VERTICAL_SCROLL_BAR_TOP_BORDER,
VERTICAL_SCROLL_BAR_TOP_BORDER 16749 src/xterm.c    		  bar->top + VERTICAL_SCROLL_BAR_TOP_BORDER + start,
VERTICAL_SCROLL_BAR_TOP_BORDER 16766 src/xterm.c    		      bar->top + VERTICAL_SCROLL_BAR_TOP_BORDER + end,
VERTICAL_SCROLL_BAR_TOP_BORDER 17392 src/xterm.c          y = event->xbutton.y - VERTICAL_SCROLL_BAR_TOP_BORDER;
VERTICAL_SCROLL_BAR_TOP_BORDER 17492 src/xterm.c          win_y -= VERTICAL_SCROLL_BAR_TOP_BORDER;
VERTICAL_SCROLL_BAR_TOP_BORDER 1639 src/xterm.h      ((height) - VERTICAL_SCROLL_BAR_TOP_BORDER - VERTICAL_SCROLL_BAR_BOTTOM_BORDER)