コード例 #1
0
ファイル: TextPanel.java プロジェクト: dimitarp/basex
 /**
  * Sets the error marker.
  *
  * @param pos start of optional error mark
  */
 public final void error(final int pos) {
   editor.error(pos);
   rend.repaint();
 }
コード例 #2
0
ファイル: TextPanel.java プロジェクト: dimitarp/basex
 /** Removes the error marker. */
 public final void resetError() {
   editor.error(-1);
   rend.repaint();
 }