@Override
  public @NotNull RangeMarker createRangeMarker(@NotNull TextRange textRange) {
    ProperTextRange properTextRange = new ProperTextRange(textRange);
    return createRangeMarker(properTextRange.getStartOffset(), properTextRange.getEndOffset());
  }
@Override
  public @NotNull RangeMarker createRangeMarker(@NotNull TextRange textRange)