From 1b80aab0ac9a02d3b213d3c92bf6c19e3abfefee Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Mon, 1 Aug 2011 06:02:42 +0400
Subject: [PATCH] Do not forget to change cursor when entering panning when
 ctrl is held

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

diff --git a/main.ml b/main.ml
index 233fda0..689d09f 100644
--- a/main.ml
+++ b/main.ml
@@ -1838,8 +1838,10 @@ let mouse ~button ~bstate ~x ~y =
   | Glut.LEFT_BUTTON when state.outline = None
       && Glut.getModifiers () land Glut.active_ctrl != 0 ->
       if bstate = Glut.DOWN
-      then
+      then (
+        Glut.setCursor Glut.CURSOR_CROSSHAIR;
         state.mstate <- Mpan (x, y)
+      )
       else
         state.mstate <- Mnone
 
-- 
2.11.4.GIT