From 41b7238ccf6a8d2faf6d50e44e943f6c760a3cc9 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sat, 13 Aug 2011 11:52:25 +0400
Subject: [PATCH] Make things less dependent on host speed

---
 main.ml | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/main.ml b/main.ml
index ca0ecc6..0fb87a1 100644
--- a/main.ml
+++ b/main.ml
@@ -232,6 +232,7 @@ type state =
     ; mutable ascrollstep : int
     ; mutable help : item array
     ; mutable docinfo : (int * string) list
+    ; mutable deadline : float
     ; hists : hists
     }
 and hists =
@@ -321,6 +322,7 @@ let state =
   ; ascrollstep = 0
   ; help = makehelp ()
   ; docinfo = []
+  ; deadline = nan
   }
 ;;
 
@@ -981,8 +983,15 @@ let act cmd =
 let now = Unix.gettimeofday;;
 
 let idle () =
+  if state.deadline == nan then state.deadline <- now ();
   let rec loop delay =
-    let r, _, _ = Unix.select [state.csock] [] [] delay in
+    let timeout =
+      if delay > 0.0
+      then max 0.0 (state.deadline -. now ())
+      else 0.0
+    in
+    let r, _, _ = Unix.select [state.csock] [] [] timeout in
+    state.deadline <- state.deadline +. delay;
     begin match r with
     | [] ->
         if state.ascrollstep > 0
@@ -998,7 +1007,7 @@ let idle () =
         act cmd;
         loop 0.0
     end;
-  in loop 0.001
+  in loop 0.007
 ;;
 
 let onhist cb =
-- 
2.11.4.GIT