From d736d69eb29fb22ef3513dbc6c06ef51d0df5175 Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 10 Aug 2011 20:06:48 +0400 Subject: [PATCH] Panning tweaks --- main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 308e070..5df3a26 100644 --- a/main.ml +++ b/main.ml @@ -2573,7 +2573,7 @@ let special ~key ~x ~y = then ( state.mode <- Outline ( allowdel, active, first, outlines, - qsearch, min 0 (pan - 1), oldmode + qsearch, min 0 (pan + 1), oldmode ); Glut.postRedisplay (); ) @@ -2586,7 +2586,7 @@ let special ~key ~x ~y = if Glut.getModifiers () land Glut.active_ctrl != 0 then ( state.mode <- Outline ( - allowdel, active, first, outlines, qsearch, pan + 1, oldmode + allowdel, active, first, outlines, qsearch, pan - 1, oldmode ); Glut.postRedisplay (); ) -- 2.11.4.GIT