From: malc Date: Fri, 22 Feb 2013 23:18:58 +0000 (+0400) Subject: Fix reload+named dest/remote goto for bird's eye X-Git-Tag: v15~27 X-Git-Url: https://repo.or.cz/w/llpp.git/commitdiff_plain/e7feaaa43667a6057631f770f69e5ec578fa44a7 Fix reload+named dest/remote goto for bird's eye --- diff --git a/main.ml b/main.ml index 5f1983f..84c2804 100644 --- a/main.ml +++ b/main.ml @@ -2276,7 +2276,7 @@ let onpagerect pageno f = f (r.(1)-.r.(0)) (r.(3)-.r.(2)) ;; -let gotopagexy pageno x y = +let gotopagexy1 pageno x y = onpagerect pageno (fun w h -> let top = y /. h in let _,w1,_,leftx = getpagedim pageno in @@ -2340,6 +2340,12 @@ let gotopagexy pageno x y = ); ;; +let gotopagexy pageno x y = + match state.mode with + | Birdseye _ -> gotopage pageno 0.0 + | _ -> gotopagexy1 pageno x y +;; + let act cmds = (* dolog "%S" cmds; *) let cl = splitatspace cmds in