protected void navigateToCrumb(Crumb crumb, boolean withSelection) {
    if (crumb instanceof NavigatableCrumb navigatableCrumb) {
      myUserCaretChange = false;
      navigatableCrumb.navigate(myEditor, withSelection);
    }
  }
protected void navigateToCrumb(Crumb crumb, boolean withSelection)