diff build-ins.in @ 16559:d62b7f309f2b

(window_scroll): Handle scroll_margin by putting point at a place that won't force recentering.
author Richard M. Stallman <rms@gnu.org>
date Mon, 11 Nov 1996 00:34:50 +0000
parents 1541c518f769
children
line wrap: on
line diff