()
| 372 | } |
| 373 | |
| 374 | private void forceCaretMoveToEnd() { |
| 375 | if (text.getCaretPosition() < cmdStart) { |
| 376 | // move caret first! |
| 377 | text.setCaretPosition(textLength()); |
| 378 | } |
| 379 | text.repaint(); |
| 380 | } |
| 381 | |
| 382 | private void forceCaretMoveToStart() { |
| 383 | if (text.getCaretPosition() < cmdStart) { |
no test coverage detected