Java Highlighter.removeChecker示例

示例#1

 public void disposeComponent() {
   myHighlighter.removeChecker(myChecker);
   myChecker.dispose();
 }