Change the way auto scrolling behaves
commitb7333c98677f5a2395a3583652f7dd481d1ec6bf
authormalc <av1474@comtv.ru>
Tue, 9 Aug 2011 02:29:41 +0000 (9 06:29 +0400)
committermalc <av1474@comtv.ru>
Tue, 9 Aug 2011 02:36:50 +0000 (9 06:36 +0400)
tree0dcaf49ed54bb94abd59546283257394c258f662
parent08f55b17cbf2f5bb3ccd1ec3dd1d5db9d5994a20
Change the way auto scrolling behaves

At one point requested by Uli Armbruster
KEYS
main.ml