No need to reshape anything on scrollbar visibility changes
commit04aefe82cefe956405c30ebd0aafcd5b910b39ef
authormalc <moosotc@gmail.com>
Thu, 13 Oct 2016 20:07:17 +0000 (13 23:07 +0300)
committermalc <moosotc@gmail.com>
Thu, 13 Oct 2016 20:07:17 +0000 (13 23:07 +0300)
tree8ce1a295fdc423f249b614f6350fc8ddecdd1bb5
parent466e3582f3faa66481e0989a3f4f7fe579a1099d
No need to reshape anything on scrollbar visibility changes
main.ml