changeset 37271:0904e8f4e08a

(try_window_id): When scrolling on a terminal, take the change of window_internal_height into account.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 09 Apr 2001 12:36:11 +0000
parents 9bf32a648127
children 8b4e6ceca824
files src/xdisp.c
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)