FRAME_LINES       663 src/frame.c      int old_text_lines = FRAME_LINES (f);
FRAME_LINES       874 src/frame.c      FRAME_LINES (f) = new_text_lines;
FRAME_LINES      1023 src/frame.c      FRAME_LINES (f) = FRAME_TOTAL_LINES (f) = 25;
FRAME_LINES      1026 src/frame.c      rw->total_lines = FRAME_LINES (f) - (mini_p ? 1 : 0);
FRAME_LINES      1276 src/frame.c      FRAME_LINES (f) = FRAME_LINES (f) - FRAME_MENU_BAR_LINES (f)
FRAME_LINES      3343 src/frame.c    	    : FRAME_LINES (f));
FRAME_LINES      3627 src/frame.c      return make_fixnum (FRAME_LINES (decode_any_frame (frame)));
FRAME_LINES      4966 src/gtkutil.c        new_step = size / max (1, FRAME_LINES (f));
FRAME_LINES       838 src/haikufns.c 		     FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 5, 1,
FRAME_LINES       325 src/haikuterm.c 		       FRAME_LINES (f) * FRAME_LINE_HEIGHT (f),
FRAME_LINES      1508 src/pgtkfns.c  		     FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 5, true,
FRAME_LINES       911 src/pgtkterm.c 		       FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 3,
FRAME_LINES      1740 src/w32fns.c     store_frame_param (f, Qheight, make_fixnum (FRAME_LINES (f)));
FRAME_LINES      1853 src/w32fns.c     store_frame_param (f, Qheight, make_fixnum (FRAME_LINES (f)));
FRAME_LINES      6093 src/w32fns.c   		     FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 5, true,
FRAME_LINES      6507 src/w32term.c         FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 3, false, Qfont);
FRAME_LINES      7705 src/window.c     data->frame_lines = FRAME_LINES (f);
FRAME_LINES      4955 src/xfns.c     		     FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 5, true,
FRAME_LINES      26208 src/xterm.c           FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 3, false, Qfont);