# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 986819771 0
# Node ID 0904e8f4e08af9ee5ce562a3e9e121e320f3f146
# Parent  9bf32a64812721f0097311121c9f4b483201731d
(try_window_id): When scrolling on a terminal, take
the change of window_internal_height into account.

diff -r 9bf32a648127 -r 0904e8f4e08a src/xdisp.c
--- a/src/xdisp.c	Mon Apr 09 12:35:37 2001 +0000
+++ b/src/xdisp.c	Mon Apr 09 12:36:11 2001 +0000
@@ -11428,7 +11428,9 @@
 	  int first_unchanged_at_end_vpos
 	    = MATRIX_ROW_VPOS (first_unchanged_at_end_row, w->current_matrix);
 	  int from = XFASTINT (w->top) + first_unchanged_at_end_vpos;
-	  int end = XFASTINT (w->top) + window_internal_height (w);
+	  int end = (XFASTINT (w->top)
+		     + (WINDOW_WANTS_HEADER_LINE_P (w) ? 1 : 0)
+		     + window_internal_height (w));
 	  
 	  /* Perform the operation on the screen.  */
 	  if (dvpos > 0)