From 981375429309a48d53006debe3c8e5c9ce15ee9e Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sun, 24 Oct 2010 18:52:09 +0400
Subject: [PATCH] Reset cursor when entering selector mode

---
 main.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index f417db8..4ff5525 100644
--- a/main.ml
+++ b/main.ml
@@ -808,7 +808,8 @@ let enterselector allowdel outlines errmsg =
   then (
     showtext ' ' errmsg;
   )
-  else
+  else (
+    Glut.setCursor Glut.CURSOR_INHERIT;
     let pageno =
       match state.layout with
       | [] -> -1
@@ -828,6 +829,7 @@ let enterselector allowdel outlines errmsg =
       Some (allowdel, active,
            max 0 ((active - maxoutlinerows () / 2)), outlines, "");
     Glut.postRedisplay ();
+  )
 ;;
 
 let enteroutlinemode () =
-- 
2.11.4.GIT