FRAME_BOTTOM_MARGIN_HEIGHT  185 src/androidterm.c 			       - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT  239 src/androidterm.c 			       - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 4244 src/androidterm.c       int bottom_margin = FRAME_BOTTOM_MARGIN_HEIGHT (f);
FRAME_BOTTOM_MARGIN_HEIGHT 4182 src/haikuterm.c 			 - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 4228 src/haikuterm.c 			 - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 4483 src/haikuterm.c       int bottom_margin = FRAME_BOTTOM_MARGIN_HEIGHT (f);
FRAME_BOTTOM_MARGIN_HEIGHT 3773 src/pgtkterm.c 			- FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 4954 src/pgtkterm.c       int bottom_margin = FRAME_BOTTOM_MARGIN_HEIGHT (f);
FRAME_BOTTOM_MARGIN_HEIGHT 1540 src/w32fns.c         int bottom_margin = FRAME_BOTTOM_MARGIN_HEIGHT (f);
FRAME_BOTTOM_MARGIN_HEIGHT 7694 src/xterm.c          int bottom_margin = FRAME_BOTTOM_MARGIN_HEIGHT (f);
FRAME_BOTTOM_MARGIN_HEIGHT 11443 src/xterm.c    		       - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 11498 src/xterm.c    		       - FRAME_BOTTOM_MARGIN_HEIGHT (f)),