From 0099bed95f4fb998c2a00cc5ce1145d7b0857ccd Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 3 Oct 2012 09:46:41 +0400 Subject: [PATCH] Fix getanchor --- main.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 7092ec8..fc434d6 100644 --- a/main.ml +++ b/main.ml @@ -1766,7 +1766,8 @@ let getanchor () = | [] -> emptyanchor | l :: _ -> let coloff = l.pagecol * l.pageh in - (l.pageno, (float l.pagey +. float coloff) /. float l.pageh) + (l.pageno, + (float (l.pagey - l.pagedispy) +. float coloff) /. float l.pageh) ;; let getanchory (n, top) = -- 2.11.4.GIT