Updates editor status bar, depending on whether the caret is on an error line or not
()
| 2598 | * line or not |
| 2599 | */ |
| 2600 | public void updateEditorStatus() { |
| 2601 | Problem problem = findProblem(textarea.getCaretLine()); |
| 2602 | if (problem != null) { |
| 2603 | int type = problem.isError() ? |
| 2604 | EditorStatus.CURSOR_LINE_ERROR : EditorStatus.CURSOR_LINE_WARNING; |
| 2605 | statusMessage(problem.getMessage(), type); |
| 2606 | } else { |
| 2607 | switch (getStatusMode()) { |
| 2608 | case EditorStatus.CURSOR_LINE_ERROR, EditorStatus.CURSOR_LINE_WARNING -> statusEmpty(); |
| 2609 | } |
| 2610 | } |
| 2611 | } |
| 2612 | |
| 2613 | |
| 2614 | /** |
no test coverage detected