()
| 1016 | } |
| 1017 | |
| 1018 | public void close() { |
| 1019 | super.close(); |
| 1020 | record = false; |
| 1021 | notRecordingThreads.clear(); |
| 1022 | commandName = null; |
| 1023 | instance = null; |
| 1024 | } |
| 1025 | |
| 1026 | public String getText() { |
| 1027 | return recordingEnabled()?textArea.getText():""; |