()
| 257 | |
| 258 | |
| 259 | public void clear() { |
| 260 | try { |
| 261 | consoleDoc.remove(0, consoleDoc.getLength()); |
| 262 | } catch (BadLocationException e) { |
| 263 | // ignore the error otherwise this will cause an infinite loop |
| 264 | // maybe not a good idea in the long run? |
| 265 | } |
| 266 | } |
| 267 | |
| 268 | |
| 269 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
no test coverage detected