VERTICAL_SCROLL_BAR_BOTTOM_BORDER 562 src/w32term.h ((height) - VERTICAL_SCROLL_BAR_TOP_BORDER - VERTICAL_SCROLL_BAR_BOTTOM_BORDER) VERTICAL_SCROLL_BAR_BOTTOM_BORDER 1639 src/xterm.h ((height) - VERTICAL_SCROLL_BAR_TOP_BORDER - VERTICAL_SCROLL_BAR_BOTTOM_BORDER)