From b555be456496daa5d6fbff47f58e2df05e583577 Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 21 Oct 2010 22:16:59 +0400 Subject: [PATCH] Add guard to avoid endless redisplay cycle and enable preload by default --- main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 4a699b7..c02320f 100644 --- a/main.ml +++ b/main.ml @@ -149,7 +149,7 @@ let conf = { scrollw = 5 ; scrollh = 12 ; icase = true - ; preload = false + ; preload = true ; pagebias = 0 ; verbose = false ; scrollincr = 24 @@ -407,7 +407,7 @@ let loadlayout layout = ;; let preload () = - if conf.preload then begin + if conf.preload && List.length state.layout < cblen state.pagecache then begin let y = if state.y < state.h then 0 else state.y - state.h in let pages = layout y (state.h*3) in List.iter render pages; -- 2.11.4.GIT