@Override
  public @NotNull ProperTextRange grown(int lengthDelta) {
    if (lengthDelta == 0) return this;
    return new ProperTextRange(getStartOffset(), getEndOffset() + lengthDelta);
  }
@Override
  public @NotNull ProperTextRange grown(int lengthDelta)