FRAME_SCROLL_BAR_AREA_HEIGHT 3746 src/frame.c      return make_fixnum (FRAME_SCROLL_BAR_AREA_HEIGHT (decode_any_frame (frame)));
FRAME_SCROLL_BAR_AREA_HEIGHT 1737 src/frame.h       + FRAME_SCROLL_BAR_AREA_HEIGHT (f)		   \
FRAME_SCROLL_BAR_AREA_HEIGHT 1770 src/frame.h        - FRAME_SCROLL_BAR_AREA_HEIGHT (f)					\
FRAME_SCROLL_BAR_AREA_HEIGHT 1785 src/frame.h       + FRAME_SCROLL_BAR_AREA_HEIGHT (f)		     \
FRAME_SCROLL_BAR_AREA_HEIGHT 1799 src/frame.h       - FRAME_SCROLL_BAR_AREA_HEIGHT (f)			\
FRAME_SCROLL_BAR_AREA_HEIGHT 2506 src/w32fns.c         SetWindowLong (hwnd, WND_HSCROLLBAR_INDEX, FRAME_SCROLL_BAR_AREA_HEIGHT (f));
FRAME_SCROLL_BAR_AREA_HEIGHT 7273 src/w32term.c    SetWindowLong (window, WND_HSCROLLBAR_INDEX, FRAME_SCROLL_BAR_AREA_HEIGHT (f));
FRAME_SCROLL_BAR_AREA_HEIGHT 8021 src/window.c   	   - (new_height == -1 ? FRAME_SCROLL_BAR_AREA_HEIGHT (f) : new_height))