changeset 2132:0f4b18efebf5

(change_frame_size): Handle FRAME_MENU_BAR_LINES.
author Richard M. Stallman <rms@gnu.org>
date Thu, 11 Mar 1993 07:49:34 +0000
parents 468df2d7e371
children 63d15b0e048e
files src/dispnew.c
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/dispnew.c	Thu Mar 11 07:48:36 1993 +0000
+++ b/src/dispnew.c	Thu Mar 11 07:49:34 1993 +0000
@@ -1694,14 +1694,15 @@
 	{
 	  /* Frame has both root and minibuffer.  */
 	  set_window_height (FRAME_ROOT_WINDOW (frame),
-			     newheight - 1, 0);
+			     newheight - 1 - FRAME_MENU_BAR_LINES (frame), 0);
 	  XFASTINT (XWINDOW (FRAME_MINIBUF_WINDOW (frame))->top)
 	    = newheight - 1;
 	  set_window_height (FRAME_MINIBUF_WINDOW (frame), 1, 0);
 	}
       else
 	/* Frame has just one top-level window.  */
-	set_window_height (FRAME_ROOT_WINDOW (frame), newheight, 0);
+	set_window_height (FRAME_ROOT_WINDOW (frame),
+			   newheight - FRAME_MENU_BAR_LINES (frame), 0);
 
       if (FRAME_TERMCAP_P (frame) && !pretend)
 	FrameRows = newheight;