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