(int tool)
| 898 | } |
| 899 | |
| 900 | private void setTool2(int tool) { |
| 901 | if (!isValidTool(tool)) return; |
| 902 | String previousName = getToolName(); |
| 903 | previousTool = current; |
| 904 | current = tool; |
| 905 | Graphics g = this.getGraphics(); |
| 906 | if (g==null) |
| 907 | return; |
| 908 | down[current] = true; |
| 909 | if (current!=previousTool) |
| 910 | down[previousTool] = false; |
| 911 | Graphics2D g2d = (Graphics2D)g; |
| 912 | g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON); |
| 913 | setStrokeWidth(g2d); |
| 914 | drawButton(g, previousTool); |
| 915 | drawButton(g, current); |
| 916 | if (null==g) return; |
| 917 | g.dispose(); |
| 918 | showMessage(current); |
| 919 | if (IJ.recording()) { |
| 920 | String name = getName(current); |
| 921 | if (name!=null && name.equals("dropper")) disableRecording=true; |
| 922 | if (name!=null && !disableRecording) { |
| 923 | IJ.wait(100); // workaround for OSX/Java 8 bug |
| 924 | Recorder.record("setTool", name); |
| 925 | } |
| 926 | if (name!=null && !name.equals("dropper")) disableRecording=false; |
| 927 | } |
| 928 | if (legacyMode) |
| 929 | repaint(); |
| 930 | if (!previousName.equals(getToolName())) { |
| 931 | IJ.notifyEventListeners(IJEventListener.TOOL_CHANGED);; |
| 932 | repaint(); |
| 933 | } |
| 934 | } |
| 935 | |
| 936 | boolean isValidTool(int tool) { |
| 937 | if (tool<0 || tool>=getNumTools()) |
no test coverage detected