changeset 34582:4099c0fd33f4

(window_box_height): Add comment.
author Miles Bader <miles@gnu.org>
date Fri, 15 Dec 2000 01:51:26 +0000
parents 709f07c104ed
children d207904c02ea
files src/xdisp.c
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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