comparison etc/TUTORIAL.sl @ 42372:be1db1ed86b1

(try_scrolling) <PT below scroll margin>: Add the height of the cursor line to the amount to scroll.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 28 Dec 2001 12:42:35 +0000
parents dd613770eb0f
children 3faaa85004f2
comparison
equal deleted inserted replaced
42371:c64a96f6a814 42372:be1db1ed86b1