From d251b980717e917d7b081cfb4967f9aae075b90e Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 17 Aug 2011 17:16:13 +0400 Subject: [PATCH] Fix polling --- main.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/main.ml b/main.ml index be111ac..e74440f 100644 --- a/main.ml +++ b/main.ml @@ -991,7 +991,6 @@ let idle () = else 0.0 in let r, _, _ = Unix.select [state.csock] [] [] timeout in - state.deadline <- state.deadline +. delay; begin match r with | [] -> begin match state.autoscroll with @@ -1005,7 +1004,10 @@ let idle () = gotoy y; if state.mode = View then state.text <- ""; - | _ -> () + state.deadline <- state.deadline +. 0.01; + + | _ -> + state.deadline <- state.deadline +. delay; end; | _ -> -- 2.11.4.GIT