WINDOW_CONFIG_SCROLL_BAR_WIDTH  940 src/window.h      ? WINDOW_CONFIG_SCROLL_BAR_WIDTH (W)					\
WINDOW_CONFIG_SCROLL_BAR_WIDTH  946 src/window.h      ? WINDOW_CONFIG_SCROLL_BAR_WIDTH (W)					\
WINDOW_CONFIG_SCROLL_BAR_WIDTH  952 src/window.h      ? WINDOW_CONFIG_SCROLL_BAR_WIDTH (W)					\