changeset 18458:96905485f262

(init_xdisp): Pay attention to FRAME_MENU_BAR_LINES.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Jun 1997 03:12:33 +0000
parents 615e9654bf59
children 688c725c6b23
files src/xdisp.c
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Fri Jun 27 02:46:08 1997 +0000
+++ b/src/xdisp.c	Fri Jun 27 03:12:33 1997 +0000
@@ -5003,8 +5003,10 @@
   if (!noninteractive)
     {
       FRAME_PTR f = XFRAME (WINDOW_FRAME (XWINDOW (root_window)));
-      XSETFASTINT (XWINDOW (root_window)->top, 0);
-      set_window_height (root_window, FRAME_HEIGHT (f) - 1, 0);
+      XSETFASTINT (XWINDOW (root_window)->top, FRAME_MENU_BAR_LINES (f));
+      set_window_height (root_window,
+			 FRAME_HEIGHT (f) - 1 - FRAME_MENU_BAR_LINES (f),
+			 0);
       XSETFASTINT (mini_w->top, FRAME_HEIGHT (f) - 1);
       set_window_height (minibuf_window, 1, 0);