Java TextEditor.editorSavedの例

コード例 #1

ファイル: StoryEditor.java プロジェクト: Arnauld/jbehave-eclipse-plugin

  @Override
  protected void editorSaved() {
    super.editorSaved();

    ProjectAwareFastPartitioner partitioner =
        (ProjectAwareFastPartitioner) getInputDocument().getDocumentPartitioner();
    if (partitioner != null) {
      partitioner.invalidatePartitions();
    }
    validateAndMark();
  }

コード例 #2

ファイル: DrlTextEditor.java プロジェクト: spbu-se/pldoctoolkit

 @Override
 protected void editorSaved() {
   super.editorSaved();
   this.getAction(VALIDATE_DRL_ON_SAVE).run();
 }