added minimum thumb size

diff --git a/lib/draw.ml b/lib/draw.ml
index 9cbf0c3bd58a8f356ae9f70690d9cd108e916878..3e803cd2952270089228d34d2e5522899c4c7803 100644 (file)
--- a/lib/draw.ml
+++ b/lib/draw.ml
@@ -124,7 +124,7 @@ let tags csr buf =
 let scroll csr pct =
   let thumbsz = int_of_float ((float_of_int csr.height) *. pct) in
   rule_bkg 14 csr.height csr;
-  dark_bkg 14 thumbsz csr;
+  dark_bkg 14 (max thumbsz 5) csr;
   csr.x <- csr.x + 14;
   vrule csr.height csr