VERTICAL_SCROLL_BAR_MIN_HANDLE  609 src/w32term.h  #define VERTICAL_SCROLL_BAR_MIN_HANDLE (vertical_scroll_bar_min_handle)
VERTICAL_SCROLL_BAR_MIN_HANDLE 1686 src/xterm.h    #define VERTICAL_SCROLL_BAR_MIN_HANDLE (5)