From d506b4c2a0f36b54246350128ae8ee6fa5a7d955 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Wed, 12 Jan 2022 17:11:41 -0500 Subject: [PATCH] scrollbar looking better --- app/src/processing/app/syntax/PdeScrollBarUI.java | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/app/src/processing/app/syntax/PdeScrollBarUI.java b/app/src/processing/app/syntax/PdeScrollBarUI.java index 716fee790..a524f884e 100644 --- a/app/src/processing/app/syntax/PdeScrollBarUI.java +++ b/app/src/processing/app/syntax/PdeScrollBarUI.java @@ -86,10 +86,11 @@ public class PdeScrollBarUI extends BasicScrollBarUI { color = Theme.getColor("editor.scrollbar.thumb.enabled.color"); } g2.setPaint(color); - int arc = Math.min(c.getWidth(), c.getHeight()); - g2.fillRoundRect(r.x, r.y, r.width, r.height, arc, arc); - g2.setPaint(Color.WHITE); - g2.drawRoundRect(r.x, r.y, r.width, r.height, arc, arc); + int inset = 3; + int arc = Math.min(c.getWidth(), c.getHeight()) - inset*2; + g2.fillRoundRect(r.x + inset, r.y + inset, r.width - inset*2, r.height - inset*2, arc, arc); +// g2.setPaint(Color.WHITE); +// g2.drawRoundRect(r.x, r.y, r.width, r.height, arc, arc); g2.dispose(); } }