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