FRAME_RIGHT_DIVIDER_WIDTH 3781 src/frame.c      return make_fixnum (FRAME_RIGHT_DIVIDER_WIDTH (decode_any_frame (frame)));
FRAME_RIGHT_DIVIDER_WIDTH 4594 src/frame.c    		  make_fixnum (FRAME_RIGHT_DIVIDER_WIDTH (f)));
FRAME_RIGHT_DIVIDER_WIDTH 4956 src/frame.c      int old = FRAME_RIGHT_DIVIDER_WIDTH (f);
FRAME_RIGHT_DIVIDER_WIDTH  676 src/fringe.c   		  && !FRAME_RIGHT_DIVIDER_WIDTH (f)
FRAME_RIGHT_DIVIDER_WIDTH  702 src/window.h      ? 0 : FRAME_RIGHT_DIVIDER_WIDTH (WINDOW_XFRAME (W)))
FRAME_RIGHT_DIVIDER_WIDTH 36262 src/xdisp.c      if (FRAME_HAS_VERTICAL_SCROLL_BARS (f) || FRAME_RIGHT_DIVIDER_WIDTH (f))