Re-open document on layout height changes
commitcafe803fe4017d9659bb5a8c9d6ec078fa497ab2
authormalc <moosotc@gmail.com>
Wed, 4 Apr 2018 07:14:34 +0000 (4 10:14 +0300)
committermalc <moosotc@gmail.com>
Wed, 4 Apr 2018 07:14:34 +0000 (4 10:14 +0300)
tree541804506968106df5a354ef19dc2fa224ed5a4b
parent9e1cb05792f323b921694b4bdef154cc283c04b1
Re-open document on layout height changes
main.ml