/** * Sets the error marker. * * @param pos start of optional error mark */ public final void error(final int pos) { editor.error(pos); rend.repaint(); }
/** Removes the error marker. */ public final void resetError() { editor.error(-1); rend.repaint(); }