()
| 539 | } |
| 540 | |
| 541 | void updateText() { |
| 542 | if (imp!=null) { |
| 543 | updateClipRect(); |
| 544 | if (angle!=0.0) |
| 545 | imp.draw(); |
| 546 | else |
| 547 | imp.draw(clipX, clipY, clipWidth, clipHeight); |
| 548 | } |
| 549 | } |
| 550 | |
| 551 | double stringWidth(String s, FontMetrics metrics, Graphics g) { |
| 552 | java.awt.geom.Rectangle2D r = metrics.getStringBounds(s, g); |
no test coverage detected