public void navigate(NavigatableCrumb crumb, boolean withSelection) {
    myUserCaretChange = false;
    crumb.navigate(myEditor, withSelection);
  }
public void navigate(NavigatableCrumb crumb, boolean withSelection)