()
| 51 | } |
| 52 | |
| 53 | void edit() { |
| 54 | if (open("", "Open macro or plugin")) { |
| 55 | Editor ed = (Editor)IJ.runPlugIn("ij.plugin.frame.Editor", ""); |
| 56 | if (ed!=null) ed.open(dir, name); |
| 57 | } |
| 58 | } |
| 59 | |
| 60 | void compileAndRun(String path) { |
| 61 | if (!open(path, "Compile and Run Plugin...")) |