From 1a94a834ce1f66c6ab3cfb363ae1bdf386c9cb4e Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 13 Sep 2017 08:17:24 +0300 Subject: [PATCH] Do not needlessly recompute layout --- main.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/main.ml b/main.ml index cc215a7..90b1d00 100644 --- a/main.ml +++ b/main.ml @@ -3317,9 +3317,8 @@ let setcheckers enabled = ;; let describe_location () = - let layout = layout state.x state.y state.winw state.winh in let d = - match layout with + match state.layout with | [] -> "Page 0" | l :: [] -> Printf.sprintf "Page %d" (l.pageno+1) | l :: rest -> -- 2.11.4.GIT