set minimum size for scroll bar thumb (fixes #473)

app/src/processing/app/platform/DefaultPlatform.java

@@ -24,6 +24,7 @@
 package processing.app.platform;
 
 import java.awt.Desktop;
+import java.awt.Dimension;
 import java.awt.Font;
 import java.io.File;
 import java.net.URI;
@@ -124,6 +125,11 @@ public class DefaultPlatform {
 //      Font font = new Font(fontName, Font.PLAIN, fontSize).deriveFont(attributes);
 //      setUIFont(new FontUIResource(font));
     }
+
+    // Default was 8x8, but that's not enough with the insets and rounded rect
+    // https://github.com/processing/processing4/issues/473
+    //System.out.println(UIManager.get("ScrollBar.minimumThumbSize"));
+    UIManager.put("ScrollBar.minimumThumbSize", new Dimension(8, 24));
   }
 
 

todo.txt

@@ -10,6 +10,10 @@ X   also remove unused readlink
 X   support multiple files passed on command line
 X only show setWritable() failure in recent.txt when it is a problem
 
+design
+X set minimum size for scroll bar thumb
+X   https://github.com/processing/processing4/issues/473
+
 manager
 X "Error during download and install of Python Mode for Processing"
 X   https://github.com/processing/processing/issues/5918
@@ -116,9 +120,6 @@ _     maybe that's the update button? when no updates, it's still a button?
 
 _ remove updateInProgress from StatusPanelDetail
 
-_ CJKV fonts are hosed b/c they're not actually monospace
-_   https://github.com/processing/processing4/issues/447
-
 _ on release: submit to Microsoft
 _   https://www.microsoft.com/en-us/wdsi/filesubmission
 _   https://aka.ms/wdsi