(String title, String code)
| 2113 | } |
| 2114 | |
| 2115 | public static void showCode(String title, String code) { |
| 2116 | Editor ed = new Editor(); |
| 2117 | ed.setSize(550, 450); |
| 2118 | ed.create(title, code); |
| 2119 | IJ.setKeyUp(KeyEvent.VK_SHIFT); |
| 2120 | } |
| 2121 | |
| 2122 | private boolean isMacroSet(int id) { |
| 2123 | if (tools[id]==null) |
no test coverage detected