scrollbar looking better

This commit is contained in:
Ben Fry
2022-01-12 17:11:41 -05:00
parent 47ec6c72cc
commit d506b4c2a0
@@ -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();
}
}