# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 962120117 0
# Node ID 8aa954de8db965eb189ac65e6bdff3793c84ce83
# Parent  d4e54e70814ff056edbcce88d01bb5a931d54bf5
(resize_mini_window): Subract the extra line spacing
below the last line from the needed window height.

diff -r d4e54e70814f -r 8aa954de8db9 src/xdisp.c
--- a/src/xdisp.c	Tue Jun 27 10:55:46 2000 +0000
+++ b/src/xdisp.c	Tue Jun 27 15:35:17 2000 +0000
@@ -5779,6 +5779,7 @@
 	    height = it.current_y + last_height;
 	  else
 	    height = it.current_y + it.max_ascent + it.max_descent;
+	  height -= it.extra_line_spacing;
 	  height = (height + unit - 1) / unit;
 	}