(resize_mini_window): Subract the extra line spacing

below the last line from the needed window height.

2 files changed, 6 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index aab98f2bc90..0f5c2fe21a1 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2000-06-27  Gerd Moellmann  <gerd@gnu.org>
+
+        * xdisp.c (resize_mini_window): Subract the extra line spacing
+        below the last line from the needed window height.
+
 2000-06-26  Stefan Monnier  <monnier@cs.yale.edu>
 
         * fns.c (Fplist_member): Renamed from Fwidget_plist_member.
diff --git a/src/xdisp.c b/src/xdisp.c
index 7b6eb35fcdc..68942eed1fa 100644
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -5779,6 +5779,7 @@ resize_mini_window (w, exact_p)
             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;
         }