void (@Nullable PsiElement element, @NotNull @Nls String text, @Nullable String effectiveExternalUrl, @Nullable String ref, @Nullable DocumentationProvider provider) { pushHistory(); myExternalUrl = effectiveExternalUrl; myProvider = provider; SmartPsiElementPointer<PsiElement> pointer = null; if (element != null && element.isValid()) { pointer = SmartPointerManager.getInstance(element.getProject()).createSmartPsiElementPointer(element); } setDataInternal(pointer, text, new Rectangle(0, 0), ref); }