From 787ecbdf8a6305d5e5eea4b4b180f956e201ca52 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 8 Aug 2011 04:05:03 +0400 Subject: [PATCH] More birds eye visual tweaks --- main.ml | 23 +++++++++++++---------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/main.ml b/main.ml index 198994b..aefce9a 100644 --- a/main.ml +++ b/main.ml @@ -1194,8 +1194,11 @@ let birdseyeoff (c, leftx, _) = conf.showall <- c.showall; conf.hlinks <- c.hlinks; state.x <- leftx; - state.text <- Printf.sprintf "birds eye mode off (zoom %3.1f%%)" - (100.0*.conf.zoom); + if conf.verbose + then + state.text <- Printf.sprintf "birds eye mode off (zoom %3.1f%%)" + (100.0*.conf.zoom) + ; ;; let viewkeyboard ~key ~x ~y = @@ -1312,8 +1315,13 @@ let viewkeyboard ~key ~x ~y = state.mstate <- Mnone; conf.showall <- false; Glut.setCursor Glut.CURSOR_INHERIT; - state.text <- Printf.sprintf "birds eye mode on (zoom %3.1f%%)" - (100.0*.zoom) + if conf.verbose + then + state.text <- Printf.sprintf "birds eye mode on (zoom %3.1f%%)" + (100.0*.zoom) + else + state.text <- "" + ; | Some vals -> birdseyeoff vals; @@ -2089,12 +2097,7 @@ let display () = let margin = (conf.winw - (state.w + conf.scrollw)) / 2 in GlDraw.viewport margin 0 state.w conf.winh; pagematrix (); - if state.birdseye <> None - then - GlClear.color (0.5, 0.5, 0.55) - else - GlClear.color (scalecolor 0.5) - ; + GlClear.color (scalecolor 0.5); GlClear.clear [`color]; if state.x != 0 then ( -- 2.11.4.GIT