From 837a40cba57796c3771b094273a23c5f6bf3d3b6 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sun, 7 Aug 2011 09:20:48 +0400
Subject: [PATCH] Do not jump around needlessly

---
 main.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index db8fead..9ffce99 100644
--- a/main.ml
+++ b/main.ml
@@ -1738,7 +1738,12 @@ let special ~key ~x ~y =
           gotopage 0 0.0
       | Glut.KEY_END ->
           state.birdseyepageno <- state.pagecount - 1;
-          gotopage state.birdseyepageno 0.0
+          if not (pagevisible state.birdseyepageno)
+          then
+            gotopage state.birdseyepageno 0.0
+          else
+            Glut.postRedisplay ()
+          ;
       | _ -> ()
       end
 
-- 
2.11.4.GIT