From 7d1cf10af3a85d7f676497dbc4027d4bb21bb25a Mon Sep 17 00:00:00 2001
From: "Michael D. Lowis" <mike@mdlowis.com>
Date: Thu, 9 Nov 2017 21:50:55 -0500
Subject: [PATCH] added minimum thumb size

---
 lib/draw.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.52.0