()
| 282 | |
| 283 | |
| 284 | public void clear() { |
| 285 | try { |
| 286 | consoleDoc.remove(0, consoleDoc.getLength()); |
| 287 | } catch (BadLocationException e) { |
| 288 | // ignore the error otherwise this will cause an infinite loop |
| 289 | // maybe not a good idea in the long run? |
| 290 | } |
| 291 | } |
| 292 | |
| 293 | |
| 294 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
no test coverage detected