Use centered zooming pervasively
commit9a91390f0e49525dabd0c48083839b1024545a13
authormalc <moosotc@gmail.com>
Thu, 25 Aug 2016 16:23:37 +0000 (25 19:23 +0300)
committermalc <moosotc@gmail.com>
Thu, 25 Aug 2016 16:23:37 +0000 (25 19:23 +0300)
tree27d53951730c9b52bc7a1c5752d64005a7b555a1
parentc07aff1511934f610e450dd3c19c77f05698b4e7
Use centered zooming pervasively
main.ml