# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 996832521 0
# Node ID d22bb212fc40dd4d773fe364128e02eb2cbe31c8
# Parent  07f962cbdd4e8e8bc5794e8c37b0cca6e7f030be
(resize_mini_window): If Vmax_mini_window_height is
a float, determine the max height from the frame's height.

diff -r 07f962cbdd4e -r d22bb212fc40 src/xdisp.c
--- a/src/xdisp.c	Thu Aug 02 13:56:54 2001 +0000
+++ b/src/xdisp.c	Fri Aug 03 09:55:21 2001 +0000
@@ -6547,7 +6547,7 @@
 
       /* Compute the max. number of lines specified by the user.  */
       if (FLOATP (Vmax_mini_window_height))
-	max_height = XFLOATINT (Vmax_mini_window_height) * total_height;
+	max_height = XFLOATINT (Vmax_mini_window_height) * FRAME_HEIGHT (f);
       else if (INTEGERP (Vmax_mini_window_height))
 	max_height = XINT (Vmax_mini_window_height);
       else