FRAME_SCROLL_BAR_AREA_HEIGHT 3669 src/frame.c      return make_fixnum (FRAME_SCROLL_BAR_AREA_HEIGHT (decode_any_frame (frame)));
FRAME_SCROLL_BAR_AREA_HEIGHT 1582 src/frame.h       + FRAME_SCROLL_BAR_AREA_HEIGHT (f)		   \
FRAME_SCROLL_BAR_AREA_HEIGHT 1615 src/frame.h        - FRAME_SCROLL_BAR_AREA_HEIGHT (f)					\
FRAME_SCROLL_BAR_AREA_HEIGHT 1630 src/frame.h       + FRAME_SCROLL_BAR_AREA_HEIGHT (f)		     \
FRAME_SCROLL_BAR_AREA_HEIGHT 1644 src/frame.h       - FRAME_SCROLL_BAR_AREA_HEIGHT (f)			\
FRAME_SCROLL_BAR_AREA_HEIGHT 2473 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 8004 src/window.c   	   - (new_height == -1 ? FRAME_SCROLL_BAR_AREA_HEIGHT (f) : new_height))