(int tool)
| 1097 | } |
| 1098 | |
| 1099 | public static void repaintTool(int tool) { |
| 1100 | Toolbar tb = getInstance(); |
| 1101 | if (tb!=null) { |
| 1102 | Graphics g = tb.getGraphics(); |
| 1103 | if (IJ.debugMode) IJ.log("Toolbar.repaintTool: "+tool+" "+g); |
| 1104 | if (g==null) return; |
| 1105 | if (dscale>1.0) |
| 1106 | tb.setStrokeWidth((Graphics2D)g); |
| 1107 | ((Graphics2D)g).setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON); |
| 1108 | tb.drawButton(g, tool); |
| 1109 | if (g!=null) g.dispose(); |
| 1110 | } |
| 1111 | } |
| 1112 | |
| 1113 | // Returns the toolbar position index of the specified tool |
| 1114 | int toolIndex(int tool) { |
no test coverage detected