From 34acf125ce4de7f3020579b0bf3ebf723716d450 Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 22 Sep 2017 18:36:59 +0300 Subject: [PATCH] Cosmetics --- main.ml | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/main.ml b/main.ml index 6f392ea..e115286 100644 --- a/main.ml +++ b/main.ml @@ -3316,9 +3316,9 @@ let setcheckers enabled = ); ;; -let describe_location () = +let describe_layout layout = let d = - match state.layout with + match layout with | [] -> "Page 0" | l :: [] -> Printf.sprintf "Page %d" (l.pageno+1) | l :: rest -> @@ -3762,17 +3762,15 @@ let enterinfomode = Printf.sprintf "%dx%d" state.x state.y ) 1 else - src#caption2 "Position" (fun () -> describe_location ()) 1 - ; + src#caption2 "Position" (fun () -> describe_layout state.layout) 1; - sep (); + sep (); src#bool ~offset:0 ~btos:(fun v -> if v then "(on)" else "(off)") "Save these parameters as global defaults at exit" (fun () -> conf.bedefault) - (fun v -> conf.bedefault <- v) - ; + (fun v -> conf.bedefault <- v); - sep (); + sep (); let btos b = if b then UniSyms.lguillemet else UniSyms.rguillemet in src#bool ~offset:0 ~btos "Extended parameters" (fun () -> !showextended) @@ -4948,7 +4946,7 @@ let viewkeyboard key mask = prevpage () | Ascii '=' -> - showtext ' ' (describe_location ()); + showtext ' ' (describe_layout state.layout); | Ascii 'w' -> begin match state.layout with -- 2.11.4.GIT