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