@Override
  public @NotNull DocumentWindow freezeWindow(@NotNull DocumentWindow document) {
    return document;
  }
@Override
  public @NotNull DocumentWindow freezeWindow(@NotNull DocumentWindow document)