(resize_mini_window): Subract the extra line spacing

below the last line from the needed window height.

diff --git a/src/ChangeLog b/src/ChangeLog
index aab98f2bc9007775fcfd53f2d6b1079b39d3e049..0f5c2fe21a118c62752314ec82f938e8a9a75cc8 100644 (file)
--- 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 7b6eb35fcdcd872f147dc618ecb63a3669419433..68942eed1fae43b7e4dd62e6e9229ab8af050593 100644 (file)
--- 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;
        }