FRAME_BOTTOM_DIVIDER_WIDTH 3788 src/frame.c      return make_fixnum (FRAME_BOTTOM_DIVIDER_WIDTH (decode_any_frame (frame)));
FRAME_BOTTOM_DIVIDER_WIDTH 4596 src/frame.c    		  make_fixnum (FRAME_BOTTOM_DIVIDER_WIDTH (f)));
FRAME_BOTTOM_DIVIDER_WIDTH 4970 src/frame.c      int old = FRAME_BOTTOM_DIVIDER_WIDTH (f);
FRAME_BOTTOM_DIVIDER_WIDTH  711 src/window.h      ? 0 : FRAME_BOTTOM_DIVIDER_WIDTH (WINDOW_XFRAME (W)))