(window_scroll): Handle scroll_margin
authorRichard M. Stallman <rms@gnu.org>
Mon, 11 Nov 1996 00:34:50 +0000 (00:34 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 11 Nov 1996 00:34:50 +0000 (00:34 +0000)
commit0c7da84e740374854ce27528cd0de712ddb1f589
tree2c3eee6075fbff261c7fc22f6b85b3ada2951b8a
parent7e90bcf5076ecc08903ba9763604f7010d3cc5da
(window_scroll): Handle scroll_margin
by putting point at a place that won't force recentering.
src/window.c