From: Michael D. Lowis <mike@mdlowis.com>
Date: Fri, 10 Nov 2017 02:50:55 +0000 (-0500)
Subject: added minimum thumb size
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=7d1cf10af3a85d7f676497dbc4027d4bb21bb25a;p=archive%2Ftide-ocaml.git

added minimum thumb size
---

diff --git a/lib/draw.ml b/lib/draw.ml
index 9cbf0c3..3e803cd 100644
--- 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