FRAME_TOTAL_FRINGE_WIDTH 3753 src/frame.c      return make_fixnum (FRAME_TOTAL_FRINGE_WIDTH (decode_any_frame (frame)));
FRAME_TOTAL_FRINGE_WIDTH 1731 src/frame.h       + FRAME_TOTAL_FRINGE_WIDTH (f)		\
FRAME_TOTAL_FRINGE_WIDTH 1762 src/frame.h        - FRAME_TOTAL_FRINGE_WIDTH (f)					\
FRAME_TOTAL_FRINGE_WIDTH 1779 src/frame.h       + FRAME_TOTAL_FRINGE_WIDTH (f)		  \
FRAME_TOTAL_FRINGE_WIDTH 1793 src/frame.h       - FRAME_TOTAL_FRINGE_WIDTH (f)		  \