()
| 166 | } |
| 167 | |
| 168 | public void clear() { |
| 169 | try { |
| 170 | document.remove(0, document.getLength()); |
| 171 | startOfLine = 0; |
| 172 | insertPosition = 0; |
| 173 | } catch (BadLocationException e) { |
| 174 | // ignore the error otherwise this will cause an infinite loop |
| 175 | // maybe not a good idea in the long run? |
| 176 | } |
| 177 | } |
| 178 | |
| 179 | public void scrollDown() { |
| 180 | getHorizontalScrollBar().setValue(0); |