Move page only if search result is not visible
commit996f903b8da4925a9e5bbba19b629c6cc85c8d58
authorFlorian Stecker <m18@florianstecker.de>
Tue, 3 Apr 2018 17:51:19 +0000 (3 19:51 +0200)
committermalc <moosotc@gmail.com>
Tue, 3 Apr 2018 18:28:20 +0000 (3 21:28 +0300)
tree62711e8933d9ee18c09af0e76cfcc4cc6d40eb8b
parenta587d5d41653852a116c3ebf080d1d62a5ac8334
Move page only if search result is not visible
main.ml