179 |
protected void paintFocus(Graphics g, Rectangle t, Dimension d) |
protected void paintFocus(Graphics g, Rectangle t, Dimension d) |
180 |
{ |
{ |
181 |
g.setColor(focusColor); |
g.setColor(focusColor); |
182 |
g.drawRect(t.x, t.y, t.width, t.height); |
// minus 2 because of line thickness. Prevents border |
183 |
// FIXME: we seem to be drawing too tight a rectangle here, perhaps there |
// from being cutoff. |
184 |
// is some padding to do somewhere??? |
g.drawRect(t.x, t.y, t.width - 2, t.height - 2); |
185 |
} |
} |
186 |
|
|
187 |
} |
} |