changeset 63953:5ce023c9db0d

(window_scroll_pixel_based): Take account of this_scroll_margin when finding point when scrolling up.
author Richard M. Stallman <rms@gnu.org>
date Sun, 03 Jul 2005 16:41:48 +0000
parents 4133ed695908
children 443cb2507f88
files src/window.c
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/window.c	Sun Jul 03 16:40:12 2005 +0000
+++ b/src/window.c	Sun Jul 03 16:41:48 2005 +0000
@@ -4822,7 +4822,9 @@
       /* We moved the window start towards BEGV, so PT may be now
 	 in the scroll margin at the bottom.  */
       move_it_to (&it, PT, -1,
-		  it.last_visible_y - this_scroll_margin - 1, -1,
+		  (it.last_visible_y - CURRENT_HEADER_LINE_HEIGHT (w)
+		   - this_scroll_margin - 1),
+		  -1,
 		  MOVE_TO_POS | MOVE_TO_Y);
 
       /* Save our position, in case it's correct.  */