From 8963f56a6059e71c26a9de1042531819edbe94ac Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 25 Jul 2010 17:01:12 +0400 Subject: [PATCH] Make sure preloading takes effect immediately --- main.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/main.ml b/main.ml index 59c7134..c343398 100644 --- a/main.ml +++ b/main.ml @@ -742,6 +742,7 @@ let optentry text key = | 'p' -> conf.preload <- not conf.preload; + gotoy state.y; TEdone ("preload " ^ (btos conf.preload)) | 'v' -> -- 2.11.4.GIT