From 678693f0d8b07bec6f93b614d7e4f66220ec4136 Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 2 Jul 2010 16:16:59 +0400 Subject: [PATCH] Dim page view a little when waiting for users input --- main.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 68451b4..b62c524 100644 --- a/main.ml +++ b/main.ml @@ -743,7 +743,7 @@ let viewkeyboard ~key ~x ~y = state.textentry <- te; state.text <- ""; enttext (); - Glut.swapBuffers () + Glut.postRedisplay () in match state.textentry with | None -> @@ -1185,7 +1185,9 @@ let now () = Unix.gettimeofday ();; let drawpage i l = begin match getopaque l.pageno with | Some opaque when validopaque opaque -> - GlDraw.color (1.0, 1.0, 1.0); + if state.textentry = None + then GlDraw.color (1.0, 1.0, 1.0) + else GlDraw.color (0.4, 0.4, 0.4); let a = now () in draw l.pagedispy l.pagew l.pagevh l.pagey opaque; let b = now () in -- 2.11.4.GIT