WINDOW_CONFIG_SCROLL_BAR_WIDTH  959 src/window.h      ? WINDOW_CONFIG_SCROLL_BAR_WIDTH (W)					\
WINDOW_CONFIG_SCROLL_BAR_WIDTH  965 src/window.h      ? WINDOW_CONFIG_SCROLL_BAR_WIDTH (W)					\
WINDOW_CONFIG_SCROLL_BAR_WIDTH  971 src/window.h      ? WINDOW_CONFIG_SCROLL_BAR_WIDTH (W)					\