/** Updates editor status bar, depending on whether the caret is on an error line or not */ public void updateEditorStatus() { // editor.statusNotice("Position: " + // editor.getTextArea().getCaretLine()); boolean notFound = true; for (ErrorMarker emarker : errorBar.errorPoints) { if (emarker.problem.lineNumber == editor.getTextArea().getCaretLine() + 1) { if (emarker.type == ErrorMarker.Warning) editor.statusNotice(emarker.problem.message); else editor.statusError(emarker.problem.message); return; } } if (notFound) editor.statusEmpty(); }