# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 732174655 0
# Node ID 482c7827b96876b4c2a4adb511599f3cefa600e2
# Parent  cb92d253a599584fd53f835220b9245741b9ca99
(Fdelete_other_windows): Handle FRAME_MENU_BAR_LINES.

diff -r cb92d253a599 -r 482c7827b968 src/window.c
--- a/src/window.c	Mon Mar 15 05:50:02 1993 +0000
+++ b/src/window.c	Mon Mar 15 05:50:55 1993 +0000
@@ -1283,11 +1283,11 @@
   w = XWINDOW (window);
   top = XFASTINT (w->top);
 
-  window_loop (DELETE_OTHER_WINDOWS, window, 0, WINDOW_FRAME(w));
+  window_loop (DELETE_OTHER_WINDOWS, window, 0, WINDOW_FRAME (w));
 
   Fset_buffer (w->buffer);
   SET_PT (marker_position (w->start));
-  Frecenter (make_number (top));
+  Frecenter (make_number (top - FRAME_MENU_BAR_LINES (XFRAME (WINDOW_FRAME (w)))));
 
   set_buffer_internal (obuf);
   SET_PT (opoint);