Java Highlighter.removeAdditionalEditorComponent示例

示例#1

文件： BaseConsoleTab.java 项目： ozlembb/MPS

 public void disposeConsoleTab() {
   getProject()
       .getModelAccess()
       .executeCommand(
           new Runnable() {
             public void run() {
               if (myEditor != null) {
                 myEditor.dispose();
               }
               TemporaryModels.getInstance().dispose(myModel);
             }
           });
   myHighlighter.removeAdditionalEditorComponent(myEditor);
 }