FRAME_LINES       975 src/androidfns.c 		     FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 5, true,
FRAME_LINES      2218 src/androidterm.c 		       FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 3,
FRAME_LINES      2267 src/dispnew.c  	w->top_line = (FRAME_LINES (f)
FRAME_LINES       667 src/frame.c      int old_text_lines = FRAME_LINES (f);
FRAME_LINES       878 src/frame.c      FRAME_LINES (f) = new_text_lines;
FRAME_LINES      1036 src/frame.c      FRAME_LINES (f) = FRAME_TOTAL_LINES (f) = 25;
FRAME_LINES      1039 src/frame.c      rw->total_lines = FRAME_LINES (f) - (mini_p ? 1 : 0);
FRAME_LINES      1290 src/frame.c      FRAME_LINES (f) = FRAME_LINES (f) - FRAME_MENU_BAR_LINES (f)
FRAME_LINES      3420 src/frame.c    	    : FRAME_LINES (f));
FRAME_LINES      3704 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       865 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      1501 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      1746 src/w32fns.c     store_frame_param (f, Qheight, make_fixnum (FRAME_LINES (f)));
FRAME_LINES      1886 src/w32fns.c     store_frame_param (f, Qheight, make_fixnum (FRAME_LINES (f)));
FRAME_LINES      6126 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      7722 src/window.c     data->frame_lines = FRAME_LINES (f);
FRAME_LINES      5239 src/xfns.c     		     FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 5, true,
FRAME_LINES      26948 src/xterm.c           FRAME_LINES (f) * FRAME_LINE_HEIGHT (f), 3, false, Qfont);