changeset 40543:9461cfa8d18d

(grow_mini_window): Handle case that the root window is already smaller than the nominal mininum height.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 31 Oct 2001 10:06:10 +0000
parents 93f6c74a2f60
children e625c7d12793
files src/window.c
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)