(String name)
| 2099 | } |
| 2100 | |
| 2101 | private void showSource(String name) { |
| 2102 | if (IJ.shiftKeyDown()) { |
| 2103 | IJ.runPlugIn("ij.plugin.BrowserLauncher", IJ.URL2+"/source/ij/plugin/tool/"+name+"Tool.java"); |
| 2104 | IJ.setKeyUp(KeyEvent.VK_SHIFT); |
| 2105 | } |
| 2106 | } |
| 2107 | |
| 2108 | private void installMacroFromJar(String path) { |
| 2109 | if (IJ.shiftKeyDown()) |
no test coverage detected