Fix positioning when visiting document via history
commit6cd921f9bf54097eb922e52db31c0ee97e5d7938
authormalc <moosotc@gmail.com>
Sat, 6 Jun 2015 18:19:59 +0000 (6 21:19 +0300)
committermalc <moosotc@gmail.com>
Sat, 6 Jun 2015 18:19:59 +0000 (6 21:19 +0300)
tree8c9710638d01d6a3ed7e88761ccae3fb98122489
parent2612cd4648b3ce260c464c86a508bf394144e4cc
Fix positioning when visiting document via history
main.ml