diff etc/TUTORIAL.de @ 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 8ae0d0d699fb
children f05a048483cc 02f1dbc4a199
line wrap: on
line diff