From 1ef3f3e5b9c45ce9e4a7bb5859e448e1b44e0639 Mon Sep 17 00:00:00 2001 From: malc Date: Tue, 2 Aug 2011 08:15:34 +0400 Subject: [PATCH] Remove unintended change --- main.ml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/main.ml b/main.ml index 0e02d45..e40e974 100644 --- a/main.ml +++ b/main.ml @@ -513,11 +513,7 @@ let gotoy y = then ( state.layout <- pages; state.y <- y; - Glut.setCursor Glut.CURSOR_INHERIT; Glut.postRedisplay (); - ) - else ( - Glut.setCursor Glut.CURSOR_WAIT; ); ) else ( -- 2.11.4.GIT