(int tool, boolean drawDown)
| 1443 | } |
| 1444 | |
| 1445 | void drawTool(int tool, boolean drawDown) { |
| 1446 | down[tool] = drawDown; |
| 1447 | Graphics g = this.getGraphics(); |
| 1448 | if (g==null) return; |
| 1449 | if (!drawDown) { |
| 1450 | Graphics2D g2d = (Graphics2D)g; |
| 1451 | g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON); |
| 1452 | } |
| 1453 | drawButton(g, tool); |
| 1454 | if (null!=g) |
| 1455 | g.dispose(); |
| 1456 | } |
| 1457 | |
| 1458 | boolean isLine(int tool) { |
| 1459 | return tool==LINE || tool==POLYLINE || tool==FREELINE; |
no test coverage detected