Avoid excessive redisplays
commitc95a1f4644f10c6b7c5196eb3d8f2897bdefc539
authormalc <moosotc@gmail.com>
Sun, 24 May 2020 22:15:53 +0000 (25 01:15 +0300)
committermalc <moosotc@gmail.com>
Sun, 24 May 2020 22:15:53 +0000 (25 01:15 +0300)
tree15ee96b8411318f846dc1d0996cec6da6f2b9350
parent559cfee60b8c8d3a848f6c81fac395f6f8baa631
Avoid excessive redisplays

Thanks to the reporter of https://github.com/moosotc/llpp/issues/134
main.ml