FRAME_TOP_MARGIN_HEIGHT  713 src/frame.c    			      + FRAME_TOP_MARGIN_HEIGHT (f)
FRAME_TOP_MARGIN_HEIGHT  716 src/frame.c    		      - FRAME_TOP_MARGIN_HEIGHT (f)
FRAME_TOP_MARGIN_HEIGHT  800 src/frame.c           == FRAME_TOP_MARGIN_HEIGHT (f))
FRAME_TOP_MARGIN_HEIGHT  860 src/frame.c          || WINDOW_TOP_PIXEL_EDGE (r) != FRAME_TOP_MARGIN_HEIGHT (f))
FRAME_TOP_MARGIN_HEIGHT 1581 src/frame.h       + FRAME_TOP_MARGIN_HEIGHT (f)		   \
FRAME_TOP_MARGIN_HEIGHT 1588 src/frame.h      (((y) < FRAME_TOP_MARGIN_HEIGHT (f)					\
FRAME_TOP_MARGIN_HEIGHT 1590 src/frame.h        : ((y) < (FRAME_TOP_MARGIN_HEIGHT (f)				\
FRAME_TOP_MARGIN_HEIGHT 1592 src/frame.h           ? (y) - (FRAME_TOP_MARGIN_HEIGHT (f)				\
FRAME_TOP_MARGIN_HEIGHT 1614 src/frame.h        - FRAME_TOP_MARGIN_HEIGHT (f)					\
FRAME_TOP_MARGIN_HEIGHT 1629 src/frame.h       + FRAME_TOP_MARGIN_HEIGHT (f)		     \
FRAME_TOP_MARGIN_HEIGHT 1643 src/frame.h       - FRAME_TOP_MARGIN_HEIGHT (f)			\
FRAME_TOP_MARGIN_HEIGHT 1653 src/frame.h       - FRAME_TOP_MARGIN_HEIGHT (f)		\
FRAME_TOP_MARGIN_HEIGHT 4163 src/haikuterm.c 			 + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 4208 src/haikuterm.c 			 + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 4467 src/haikuterm.c       int margin = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 3765 src/pgtkterm.c 			+ FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 4952 src/pgtkterm.c       int margin = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 1557 src/w32fns.c   	  w32_fill_area (f, hdc, color, 0, FRAME_TOP_MARGIN_HEIGHT (f), width, border);
FRAME_TOP_MARGIN_HEIGHT 1564 src/w32fns.c   	  w32_clear_area (f, hdc, 0, FRAME_TOP_MARGIN_HEIGHT (f), width, border);
FRAME_TOP_MARGIN_HEIGHT 4839 src/window.c         && (horflag || r->pixel_top == FRAME_TOP_MARGIN_HEIGHT (f)))
FRAME_TOP_MARGIN_HEIGHT 4852 src/window.c   	  r->pixel_top = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 4868 src/window.c   	  r->pixel_top = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 1704 src/xfns.c     	  y = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 7460 src/xterm.c          int margin = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 11144 src/xterm.c    		       + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 11198 src/xterm.c    		       + FRAME_TOP_MARGIN_HEIGHT (f)),