()
| 87 | |
| 88 | |
| 89 | protected void flush() { |
| 90 | // only if new text has been added |
| 91 | if (consoleDoc.insertQueued()) { |
| 92 | // always move to the end of the text as it's added |
| 93 | consoleTextPane.setCaretPosition(consoleDoc.getLength()); |
| 94 | } |
| 95 | } |
| 96 | |
| 97 | |
| 98 | /** |
no test coverage detected