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)),