From eaca1f36aef9fdd0c9d76e648de94263cbc2e429 Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 26 Feb 2012 01:44:37 +0400 Subject: [PATCH] Band-aid (needs revisiting) --- main.ml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/main.ml b/main.ml index f33e96a..55e492f 100644 --- a/main.ml +++ b/main.ml @@ -5008,6 +5008,17 @@ let display () = Wsi.swapb (); ;; +let display () = + if state.invalidated = 0 + then display () + else ( + GlFunc.draw_buffer `front; + GlClear.color (scalecolor2 conf.bgcolor); + GlClear.clear [`color]; + GlFunc.draw_buffer `back; + ); +;; + let zoomrect x y x1 y1 = let x0 = min x x1 and x1 = max x x1 -- 2.11.4.GIT