(window_scroll): When scrolling forward and point is
authorKarl Heuer <kwzh@gnu.org>
Wed, 15 Oct 1997 22:18:37 +0000 (22:18 +0000)
committerKarl Heuer <kwzh@gnu.org>
Wed, 15 Oct 1997 22:18:37 +0000 (22:18 +0000)
inside the scroll margin put point at bottom of it, not at window
start.

src/window.c

index 8d63612..c5360a8 100644 (file)
@@ -2850,7 +2850,7 @@ window_scroll (window, n, whole, noerror)
              Fvertical_motion (make_number (original_vpos), window);
            }
          else
-           SET_PT (pos);
+           SET_PT (top_margin);
        }
       else if (n < 0)
        {