From 996f903b8da4925a9e5bbba19b629c6cc85c8d58 Mon Sep 17 00:00:00 2001 From: Florian Stecker Date: Tue, 3 Apr 2018 19:51:19 +0200 Subject: [PATCH] Move page only if search result is not visible --- main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index ba856d0..5ce0e8d 100644 --- a/main.ml +++ b/main.ml @@ -1603,8 +1603,8 @@ let act cmds = in let y = (getpagey pageno) + truncate y0 in let x = - if conf.zoom > 1.0 - then state.winw/2 + if (state.x < - truncate x0) || (state.x > state.winw - truncate x1) + then state.winw/2 - truncate (x0 /. 2. +. x1 /. 2.) else state.x in addnav (); -- 2.11.4.GIT