public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
Color oldColor = g.getColor();
int i;
g.setColor(lineColor);
for (i = 0; i < thickness; i++) {
BasicGraphicsUtils.drawDashedRect(g, x + i, y + i, width - i - i, height - i - i);
}
g.setColor(oldColor);
}
public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
Color color = c.getBackground();
if (origColor != color) {
origColor = color;
paintColor = new Color(~origColor.getRGB());
}
g.setColor(paintColor);
BasicGraphicsUtils.drawDashedRect(g, x, y, width, height);
}