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(); } }