From 434799fab275d0aa36f09e2d73f49b3070f697b0 Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 19 May 2013 20:56:46 +0400 Subject: [PATCH] Oh well --- main.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 89aa022..b4a0474 100644 --- a/main.ml +++ b/main.ml @@ -7353,7 +7353,9 @@ let () = method expose = if not m_hack then G.postRedisplay "expose" method visible = if not m_hack then G.postRedisplay "visible" method display = m_hack <- false; display () - method reshape w h = m_hack <- true; reshape w h + method reshape w h = + m_hack <- w < state.winw && h < state.winh; + reshape w h method mouse b d x y m = mouse b d x y m method motion x y = state.mpos <- (x, y); motion x y method pmotion x y = state.mpos <- (x, y); pmotion x y -- 2.11.4.GIT