# HG changeset patch
# User Ken Raeburn <raeburn@raeburn.org>
# Date 1011577887 0
# Node ID 2089c8883c1ec31efc6c3d7dbf4838fdc4e66326
# Parent  bbac3e4c60f8d9e9fe38e9da3ef3a2038b20721d
dispextern.h (WINDOW_WANTS_MODELINE_P): Use XFASTINT on window height before
comparison.
(WINDOW_WANTS_HEADER_LINE_P): Likewise.

diff -r bbac3e4c60f8 -r 2089c8883c1e src/ChangeLog
--- a/src/ChangeLog	Sun Jan 20 23:27:22 2002 +0000
+++ b/src/ChangeLog	Mon Jan 21 01:51:27 2002 +0000
@@ -1,3 +1,9 @@
+2002-01-20  Ken Raeburn  <raeburn@gnu.org>
+
+	* dispextern.h (WINDOW_WANTS_MODELINE_P): Use XFASTINT on window
+	height before comparison.
+	(WINDOW_WANTS_HEADER_LINE_P): Likewise.
+
 2002-01-20  Jason Rumney  <jasonr@gnu.org>
 
 	* w32term.c (w32_system_caret_width): Remove.
diff -r bbac3e4c60f8 -r 2089c8883c1e src/dispextern.h
--- a/src/dispextern.h	Sun Jan 20 23:27:22 2002 +0000
+++ b/src/dispextern.h	Mon Jan 21 01:51:27 2002 +0000
@@ -1117,7 +1117,7 @@
       && FRAME_WANTS_MODELINE_P (XFRAME (WINDOW_FRAME ((W))))		\
       && BUFFERP ((W)->buffer)						\
       && !NILP (XBUFFER ((W)->buffer)->mode_line_format)		\
-      && (W)->height > 1)
+      && XFASTINT ((W)->height) > 1)
 
 /* Value is non-zero if window W wants a header line.  */
 
@@ -1127,7 +1127,7 @@
       && FRAME_WANTS_MODELINE_P (XFRAME (WINDOW_FRAME ((W))))		\
       && BUFFERP ((W)->buffer)						\
       && !NILP (XBUFFER ((W)->buffer)->header_line_format)		\
-      && (W)->height > 1 + !NILP (XBUFFER ((W)->buffer)->mode_line_format))
+      && XFASTINT ((W)->height) > 1 + !NILP (XBUFFER ((W)->buffer)->mode_line_format))
 
      
 /***********************************************************************