From d4fd91f0b4119213f051d03bdbf278d94d1c7162 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Tue, 27 Jul 2010 22:02:51 +0400
Subject: [PATCH] Make it less chatty when hovering over

---
 main.ml | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/main.ml b/main.ml
index 6e9e69a..df5363a 100644
--- a/main.ml
+++ b/main.ml
@@ -1548,15 +1548,9 @@ let getlink x y =
             if y > 0
             then
               let y = l.pagey + y in
-              let link = getlink opaque x y in
-              match link with
+              match getlink opaque x y with
               | LNone -> f rest
-              | LUri text ->
-                  state.text <- text;
-                  link
-              | LGoto (pageno, y) ->
-                  state.text <- Printf.sprintf "Page %d (y %d)" pageno y;
-                  link
+              | link -> link
             else
               f rest
         | _ ->
@@ -1627,8 +1621,7 @@ let pmotion ~x ~y =
     | Mnone ->
         if getlink x y != LNone
         then Glut.setCursor Glut.CURSOR_INFO
-        else (state.text <- ""; Glut.setCursor Glut.CURSOR_INHERIT);
-        Glut.postRedisplay ()
+        else Glut.setCursor Glut.CURSOR_INHERIT
 
     | Msel (a, _) ->
         ()
-- 
2.11.4.GIT