(init_xdisp): Pay attention to FRAME_MENU_BAR_LINES.

diff --git a/src/xdisp.c b/src/xdisp.c
index be7400f70a69df208f55436ace6a175d06228d10..a54ad86e3baf8e8105b778bf699a74a7739c78df 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -5003,8 +5003,10 @@ init_xdisp ()
   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);