FRAME_BOTTOM_DIVIDER_WIDTH 3711 src/frame.c      return make_fixnum (FRAME_BOTTOM_DIVIDER_WIDTH (decode_any_frame (frame)));
FRAME_BOTTOM_DIVIDER_WIDTH 4519 src/frame.c    		  make_fixnum (FRAME_BOTTOM_DIVIDER_WIDTH (f)));
FRAME_BOTTOM_DIVIDER_WIDTH 4893 src/frame.c      int old = FRAME_BOTTOM_DIVIDER_WIDTH (f);
FRAME_BOTTOM_DIVIDER_WIDTH  692 src/window.h      ? 0 : FRAME_BOTTOM_DIVIDER_WIDTH (WINDOW_XFRAME (W)))