From e7feaaa43667a6057631f770f69e5ec578fa44a7 Mon Sep 17 00:00:00 2001 From: malc Date: Sat, 23 Feb 2013 03:18:58 +0400 Subject: [PATCH] Fix reload+named dest/remote goto for bird's eye --- main.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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 -- 2.11.4.GIT