Fix inter-page spacing calculations and make it configurable
commit45b5e57fa753248f7c26a26465fa60e13941dcd1
authormalc <av1474@comtv.ru>
Tue, 26 Jul 2011 15:32:27 +0000 (26 19:32 +0400)
committermalc <av1474@comtv.ru>
Tue, 26 Jul 2011 15:32:27 +0000 (26 19:32 +0400)
tree732be51de3556e2401d99544e1fdc40195edcd4c
parent9e53bc568df78258ae2dd6467245134be4ca9773
Fix inter-page spacing calculations and make it configurable

Also make space/delete (page wise scrolling) respect that space
KEYS
main.ml