/** 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();
}
