FRAME_MARGIN_HEIGHT  717 src/frame.c    			      + FRAME_MARGIN_HEIGHT (f)
FRAME_MARGIN_HEIGHT  720 src/frame.c    		      - FRAME_MARGIN_HEIGHT (f)
FRAME_MARGIN_HEIGHT 1769 src/frame.h        - FRAME_MARGIN_HEIGHT (f)						\
FRAME_MARGIN_HEIGHT 1784 src/frame.h       + FRAME_MARGIN_HEIGHT (f)			     \
FRAME_MARGIN_HEIGHT 1798 src/frame.h       - FRAME_MARGIN_HEIGHT (f)				\
FRAME_MARGIN_HEIGHT 1808 src/frame.h       - FRAME_MARGIN_HEIGHT (f)			\