FRAME_TOTAL_FRINGE_WIDTH 3676 src/frame.c      return make_fixnum (FRAME_TOTAL_FRINGE_WIDTH (decode_any_frame (frame)));
FRAME_TOTAL_FRINGE_WIDTH 1576 src/frame.h       + FRAME_TOTAL_FRINGE_WIDTH (f)		\
FRAME_TOTAL_FRINGE_WIDTH 1607 src/frame.h        - FRAME_TOTAL_FRINGE_WIDTH (f)					\
FRAME_TOTAL_FRINGE_WIDTH 1624 src/frame.h       + FRAME_TOTAL_FRINGE_WIDTH (f)		  \
FRAME_TOTAL_FRINGE_WIDTH 1638 src/frame.h       - FRAME_TOTAL_FRINGE_WIDTH (f)		  \