changeset 2190:482c7827b968

(Fdelete_other_windows): Handle FRAME_MENU_BAR_LINES.
author Richard M. Stallman <rms@gnu.org>
date Mon, 15 Mar 1993 05:50:55 +0000
parents cb92d253a599
children 12480fa04422
files src/window.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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);