(String method)
| 168 | } |
| 169 | |
| 170 | public static void record(String method) { |
| 171 | if (recordingEnabled()) |
| 172 | textArea.append(method+";\n"); |
| 173 | } |
| 174 | |
| 175 | /** Starts recording a command. Does nothing if the recorder is |
| 176 | not open or the command being recorded has called IJ.run(). |
no test coverage detected