return false;
}
@Nullable
private static String generateInfo(PsiElement element, PsiElement atPointer) {
final DocumentationProvider documentationProvider = DocumentationManager.getProviderFromElement(element, atPointer);
<BUG>String info = documentationProvider.getQuickNavigateInfo(element, atPointer);
if (info != null) {</BUG>
return info;
}
if (element instanceof PsiFile) {

return false;
}
@Nullable
private static String generateInfo(PsiElement element, PsiElement atPointer) {
final DocumentationProvider documentationProvider = DocumentationManager.getProviderFromElement(element, atPointer);
String info = documentationProvider.getQuickNavigateInfo(element, atPointer);
if (info == null) {
info = getQuickNavigateInfo(element);
}
if (info != null) {
return info;
}
if (element instanceof PsiFile) {
