changeset 105125:5b60f304b8d9

Fix comments about header lines.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 20 Sep 2009 16:06:53 +0000
parents ff7266798210
children 82212781ad78
files src/xdisp.c
diffstat 1 files changed, 10 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Sun Sep 20 14:54:17 2009 +0000
+++ b/src/xdisp.c	Sun Sep 20 16:06:53 2009 +0000
@@ -1635,7 +1635,7 @@
 }
 
 /* EXPORT:
-   Return an estimation of the pixel height of mode or top lines on
+   Return an estimation of the pixel height of mode or header lines on
    frame F.  FACE_ID specifies what line's height to estimate.  */
 
 int
@@ -13854,8 +13854,8 @@
 	    = DESIRED_MODE_LINE_HEIGHT (w);
 	}
 
-      /* If top line height has changed, arrange for a thorough
-	 immediate redisplay using the correct mode line height.  */
+      /* If header line height has changed, arrange for a thorough
+	 immediate redisplay using the correct header line height.  */
       if (WINDOW_WANTS_HEADER_LINE_P (w)
 	  && CURRENT_HEADER_LINE_HEIGHT (w) != DESIRED_HEADER_LINE_HEIGHT (w))
 	{
@@ -17189,8 +17189,8 @@
 }
 
 
-/* Display the mode and/or top line of window W.  Value is the number
-   of mode lines displayed.  */
+/* Display the mode and/or header line of window W.  Value is the
+   sum number of mode lines and header lines displayed.  */
 
 static int
 display_mode_lines (w)
@@ -17231,10 +17231,11 @@
 }
 
 
-/* Display mode or top line of window W.  FACE_ID specifies which line
-   to display; it is either MODE_LINE_FACE_ID or HEADER_LINE_FACE_ID.
-   FORMAT is the mode line format to display.  Value is the pixel
-   height of the mode line displayed.  */
+/* Display mode or header line of window W.  FACE_ID specifies which
+   line to display; it is either MODE_LINE_FACE_ID or
+   HEADER_LINE_FACE_ID.  FORMAT is the mode/header line format to
+   display.  Value is the pixel height of the mode/header line
+   displayed.  */
 
 static int
 display_mode_line (w, face_id, format)