From 3c4b76855958cbfbc1ad1d5069d4f2bc2565922b Mon Sep 17 00:00:00 2001 From: Gerd Moellmann Date: Tue, 27 Jun 2000 15:36:01 +0000 Subject: [PATCH] (resize_mini_window): Subract the extra line spacing below the last line from the needed window height. --- src/ChangeLog | 5 +++++ src/xdisp.c | 1 + 2 files changed, 6 insertions(+) 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 + + * xdisp.c (resize_mini_window): Subract the extra line spacing + below the last line from the needed window height. + 2000-06-26 Stefan Monnier * 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; } -- 2.39.2