Avoid loosing position when zoom is changed
commit204851081c9152ce70e6a641d78b5ff576773eef
authormalc <av1474@comtv.ru>
Fri, 12 Aug 2011 16:05:39 +0000 (12 20:05 +0400)
committermalc <av1474@comtv.ru>
Fri, 12 Aug 2011 16:05:39 +0000 (12 20:05 +0400)
treee6fab658ce0887a05338762cfcb10acf2871302d
parentb3d0965097fda427a1f9e499de6a023e1e8b5817
Avoid loosing position when zoom is changed
main.ml