@Override
  public void addAffectedDocuments(Project project, Document @NotNull ... docs) {
    getUndoManager(project).addAffectedDocuments(docs);
  }
@Override
  public void addAffectedDocuments(Project project, Document @NotNull ... docs)