# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1004522770 0
# Node ID 9461cfa8d18d5e03598ca4305611a8db68ea3c73
# Parent  93f6c74a2f60313ca8ea109bde3bae0d63ccf665
(grow_mini_window): Handle case that the root
window is already smaller than the nominal mininum height.

diff -r 93f6c74a2f60 -r 9461cfa8d18d src/window.c
--- a/src/window.c	Wed Oct 31 04:16:51 2001 +0000
+++ b/src/window.c	Wed Oct 31 10:06:10 2001 +0000
@@ -3751,7 +3751,9 @@
     {
       int min_height = window_min_size (root, 0, 0, 0);
       if (XFASTINT (root->height) - delta < min_height)
-	delta = XFASTINT (root->height) - min_height;
+	/* Note that the roor window may already be smaller than
+	   min_height.  */
+	delta = max (0, XFASTINT (root->height) - min_height);
     }
     
   if (delta)