From 367ae61ae02ef639b3746d9b3b5732526bb5e7b6 Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 12 Feb 2012 22:42:35 +0400 Subject: [PATCH] Add some room --- main.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/main.ml b/main.ml index 42e3006..4db79bb 100644 --- a/main.ml +++ b/main.ml @@ -592,9 +592,9 @@ let state = ; invalidated = 0 ; hists = { nav = cbnew 10 (0, 0.0) - ; pat = cbnew 1 "" - ; pag = cbnew 1 "" - ; sel = cbnew 1 "" + ; pat = cbnew 10 "" + ; pag = cbnew 10 "" + ; sel = cbnew 10 "" } ; memused = 0 ; gen = 0 -- 2.11.4.GIT