From e3fb4852bb536e26cb406d7c6e951f1418446390 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 20 May 2013 21:49:15 +0400 Subject: [PATCH] Restore proper handling of VisibilityChange --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index b4a0474..3aad4cd 100644 --- a/main.ml +++ b/main.ml @@ -7351,7 +7351,7 @@ let () = let wsfd, winw, winh = Wsi.init (object val mutable m_hack = false method expose = if not m_hack then G.postRedisplay "expose" - method visible = if not m_hack then G.postRedisplay "visible" + method visible = G.postRedisplay "visible" method display = m_hack <- false; display () method reshape w h = m_hack <- w < state.winw && h < state.winh; -- 2.11.4.GIT