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

    ProjectAwareFastPartitioner partitioner =
        (ProjectAwareFastPartitioner) getInputDocument().getDocumentPartitioner();
    if (partitioner != null) {
      partitioner.invalidatePartitions();
    }
    validateAndMark();
  }
Exemplo n.º 2
0
 @Override
 protected void editorSaved() {
   super.editorSaved();
   this.getAction(VALIDATE_DRL_ON_SAVE).run();
 }