protected @Nullable CrumbHighlightInfo getHighlightInfo(Crumb crumb) {
    if (crumb instanceof NavigatableCrumb) {
      final TextRange range = ((NavigatableCrumb)crumb).getHighlightRange();
      if (range == null) return null;
      final CrumbPresentation p = PsiCrumb.getPresentation(crumb);
      return new CrumbHighlightInfo(range, p);
    }
    return null;
  }
protected @Nullable CrumbHighlightInfo getHighlightInfo(Crumb crumb)