# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 937400324 0
# Node ID 7b888fb10913d5b8f7567266b16016b353a65f4e
# Parent  342027dc53c242c50876f42ea82f5a0a2bba353a
(resize_mini_window): Don't report changed window
height if it actually hasn't changed.

diff -r 342027dc53c2 -r 7b888fb10913 src/xdisp.c
--- a/src/xdisp.c	Wed Sep 15 12:58:42 1999 +0000
+++ b/src/xdisp.c	Wed Sep 15 12:58:44 1999 +0000
@@ -5507,13 +5507,14 @@
 	  || BEGV == ZV)
 	{
 	  Lisp_Object old_selected_window;
+	  int old_height = XFASTINT (w->height);
 	      
 	  freeze_window_starts (f, height > XFASTINT (w->height));
 	  old_selected_window = selected_window;
 	  XSETWINDOW (selected_window, w);
 	  change_window_height (height - XFASTINT (w->height), 0);
 	  selected_window = old_selected_window;
-	  window_height_changed_p = 1;
+	  window_height_changed_p = XFASTINT (w->height) != old_height;
 	}
     }