public @NotNull HighlightInfo withRange(@NotNull TextRange range) {
      if (range.getStartOffset() == range().getStartOffset() && range.getEndOffset() == range().getEndOffset()) {
        return this;
      }
      return new HighlightInfo(range, attributesKey, hideByTextChange);
    }
public @NotNull HighlightInfo withRange(@NotNull TextRange range)