# HG changeset patch
# User Pavel Jan���k <Pavel@Janik.cz>
# Date 1008692053 0
# Node ID 2eeaeb542d7614674aa38e19635e799e716fa34f
# Parent  5b63c25571a8f909e3db7284297df7a7ef3e66ab
(window_box_height): Do not return negative values.
From Gerd Moellmann <gerd@gnu.org>.

diff -r 5b63c25571a8 -r 2eeaeb542d76 src/xdisp.c
--- a/src/xdisp.c	Tue Dec 18 16:04:56 2001 +0000
+++ b/src/xdisp.c	Tue Dec 18 16:14:13 2001 +0000
@@ -910,7 +910,9 @@
 	height -= estimate_mode_line_height (f, HEADER_LINE_FACE_ID);
     }
 
-  return height;
+  /* With a very small font and a mode-line that's taller than
+     default, we might end up with a negative height.  */
+  return max (0, height);
 }