(resize_mini_window): Subract the extra line spacing
authorGerd Moellmann <gerd@gnu.org>
Tue, 27 Jun 2000 15:36:01 +0000 (15:36 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 27 Jun 2000 15:36:01 +0000 (15:36 +0000)
commit3c4b76855958cbfbc1ad1d5069d4f2bc2565922b
tree15c8217f93555b0cd05a52b4b34330e8cd293af8
parent4fa9f63662512bbf5107aafce22f1c12d292ab03
(resize_mini_window): Subract the extra line spacing
below the last line from the needed window height.
src/ChangeLog
src/xdisp.c