(resize_mini_window): If Vmax_mini_window_height is
commit18f9986a54c53f7712fee3bda487fb49771183f3
authorGerd Moellmann <gerd@gnu.org>
Fri, 3 Aug 2001 09:55:40 +0000 (3 09:55 +0000)
committerGerd Moellmann <gerd@gnu.org>
Fri, 3 Aug 2001 09:55:40 +0000 (3 09:55 +0000)
treefd8f1c7a6cd5ad7c82dfad0d3cff4884c5fe9467
parent3ae02d92b695374062c1ddb9eea29d2409e49036
(resize_mini_window): If Vmax_mini_window_height is
a float, determine the max height from the frame's height.
src/ChangeLog
src/xdisp.c