(String arg)
| 38 | private static int target = (int)Prefs.get(TARGET_KEY, 8); |
| 39 | |
| 40 | public void run(String arg) { |
| 41 | if (arg.equals("edit")) |
| 42 | edit(); |
| 43 | else if (arg.equals("options")) |
| 44 | showDialog(); |
| 45 | else { |
| 46 | if (arg!=null && arg.length()>0 && !arg.endsWith(".java")) |
| 47 | IJ.error("Compiler", "File name must end with \".java\""); |
| 48 | else |
| 49 | compileAndRun(arg); |
| 50 | } |
| 51 | } |
| 52 | |
| 53 | void edit() { |
| 54 | if (open("", "Open macro or plugin")) { |
nothing calls this directly
no test coverage detected