From a2a5c8bebf4d2b5a3d459bd6bf7e00a450b37faa Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 18 Aug 2011 22:54:37 +0400 Subject: [PATCH] Nicer/smoother autoscroll default --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index e74440f..5a4636f 100644 --- a/main.ml +++ b/main.ml @@ -1004,7 +1004,7 @@ let idle () = gotoy y; if state.mode = View then state.text <- ""; - state.deadline <- state.deadline +. 0.01; + state.deadline <- state.deadline +. 0.005; | _ -> state.deadline <- state.deadline +. delay; -- 2.11.4.GIT