@Override
      public @NotNull CharSequence getText(TextRange textRange) {
        return document.getCharsSequence().subSequence(textRange.getStartOffset(), textRange.getEndOffset());
      }
@Override
      public @NotNull CharSequence getText(TextRange textRange)