(String s)
| 206 | } |
| 207 | |
| 208 | void showErrors(String s) { |
| 209 | if (errors==null || !errors.isVisible()) { |
| 210 | errors = (Editor)IJ.runPlugIn("ij.plugin.frame.Editor", ""); |
| 211 | errors.setFont(new Font("Monospaced", Font.PLAIN, errors.getFontSize())); |
| 212 | } |
| 213 | if (errors!=null) { |
| 214 | ImageJ ij = IJ.getInstance(); |
| 215 | if (ij!=null) |
| 216 | s = ij.getInfo()+"\n \n"+s; |
| 217 | errors.display("Errors", s); |
| 218 | } |
| 219 | IJ.showStatus("done (errors)"); |
| 220 | } |
| 221 | |
| 222 | // open the .java source file |
| 223 | boolean open(String path, String msg) { |
no test coverage detected