From 0a49483bec9c09fdcfb3d4c9197afb433d1a326a Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 16 Jan 2013 05:30:11 +0400 Subject: [PATCH] Make flicker free hack depend on command line parameter --- main.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 1337c44..91502e3 100644 --- a/main.ml +++ b/main.ml @@ -568,6 +568,8 @@ let defconf = } ;; +let wtmode = ref false;; + let findkeyhash c name = try List.assoc name c.keyhashes with Not_found -> failwith ("invalid mode name `" ^ name ^ "'") @@ -1886,7 +1888,7 @@ let opendoc path password = let reload () = state.anchor <- getanchor (); - state.wthack <- true; + state.wthack <- !wtmode; opendoc state.path state.password; ;; @@ -6973,6 +6975,8 @@ let () = ("-dest", Arg.String (fun s -> state.nameddest <- s), " Set named destination"); + ("-wtmode", Arg.Set wtmode, "wt mode"); + ("-v", Arg.Unit (fun () -> Printf.printf "%s\nconfiguration path: %s\n" -- 2.11.4.GIT