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 4169 src/haikuterm.c 			 - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 4215 src/haikuterm.c 			 - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 4470 src/haikuterm.c       int bottom_margin = FRAME_BOTTOM_MARGIN_HEIGHT (f);
FRAME_BOTTOM_MARGIN_HEIGHT 3770 src/pgtkterm.c 			- FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 4951 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 7636 src/xterm.c          int bottom_margin = FRAME_BOTTOM_MARGIN_HEIGHT (f);
FRAME_BOTTOM_MARGIN_HEIGHT 11385 src/xterm.c    		       - FRAME_BOTTOM_MARGIN_HEIGHT (f)),
FRAME_BOTTOM_MARGIN_HEIGHT 11440 src/xterm.c    		       - FRAME_BOTTOM_MARGIN_HEIGHT (f)),