record (SmartPsiElementPointer<PsiElement> element, @Nls String text, String externalUrl, DocumentationProvider provider, Rectangle viewRect, int highlightedLink) { @NotNull Context withText(@NotNull @Nls String text) { return new Context(element, text, externalUrl, provider, viewRect, highlightedLink); } }