Updates editor status bar, depending on whether the caret is on an error line or not
()
| 3119 | * line or not |
| 3120 | */ |
| 3121 | public void updateEditorStatus() { |
| 3122 | Problem problem = findProblem(textarea.getCaretLine()); |
| 3123 | if (problem != null) { |
| 3124 | int type = problem.isError() ? |
| 3125 | EditorStatus.CURSOR_LINE_ERROR : EditorStatus.CURSOR_LINE_WARNING; |
| 3126 | statusMessage(problem.getMessage(), type); |
| 3127 | } else { |
| 3128 | switch (getStatusMode()) { |
| 3129 | case EditorStatus.CURSOR_LINE_ERROR: |
| 3130 | case EditorStatus.CURSOR_LINE_WARNING: |
| 3131 | statusEmpty(); |
| 3132 | break; |
| 3133 | } |
| 3134 | } |
| 3135 | } |
| 3136 | |
| 3137 | |
| 3138 | /** |
no test coverage detected