# HG changeset patch
# User Miles Bader <miles@gnu.org>
# Date 976845086 0
# Node ID 4099c0fd33f43866d0d771fea51fc11c6e03c877
# Parent  709f07c104eda093cbcdd9e0ded1b4561981e6b9
(window_box_height): Add comment.

diff -r 709f07c104ed -r 4099c0fd33f4 src/xdisp.c
--- a/src/xdisp.c	Fri Dec 15 01:12:29 2000 +0000
+++ b/src/xdisp.c	Fri Dec 15 01:51:26 2000 +0000
@@ -842,6 +842,12 @@
 
   xassert (height >= 0);
   
+  /* Note: the code below that determines the mode-line/header-line
+     height is essentially the same as that contained in the macro
+     CURRENT_{MODE,HEADER}_LINE_HEIGHT, except that it checks whether
+     the appropriate glyph row has its `mode_line_p' flag set,
+     and if it doesn't, uses estimate_mode_line_height instead.  */
+
   if (WINDOW_WANTS_MODELINE_P (w))
     {
       struct glyph_row *ml_row