diff make-dist @ 20046:8baac8399a29

(window_scroll): When scrolling forward and point is inside the scroll margin put point at bottom of it, not at window start.
author Karl Heuer <kwzh@gnu.org>
date Wed, 15 Oct 1997 22:18:37 +0000
parents 07e5f3623def
children 815e934f5ffc
line wrap: on
line diff