From 6351aa1db5d58ada237ca76a7f912bb847e8eb20 Mon Sep 17 00:00:00 2001
From: David Capello <davidcapello@gmail.com>
Date: Fri, 25 Jun 2010 00:31:40 -0300
Subject: [PATCH] Modified minimum scroll-bar thumb size.

---
 src/jinete/jview.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jinete/jview.cpp b/src/jinete/jview.cpp
index 66c1352df..f2547d243 100644
--- a/src/jinete/jview.cpp
+++ b/src/jinete/jview.cpp
@@ -655,7 +655,7 @@ static void scrollbar_info(JWidget widget, int *_pos, int *_len,
   }
   else {
     len = bar_size - (max-viewport_size);
-    len = MID(BAR_SIZE-border_width, len, bar_size);
+    len = MID(BAR_SIZE*2-border_width, len, bar_size);
     pos = (bar_size-len) * scroll / (max-viewport_size);
     pos = MID(0, pos, bar_size-len);
   }