private void selectPlace(TreePlace place) {
TreeNode node = navigationView.getMenuTree().getRootTreeNode();
if (openNode(node, place)) {
navigationView.getSelectionModel().setSelected(place, true);
pendingPlace = null;
} else {
navigationView.getSelectionModel().clear();
}
}
private void refreshTree() {
TreeNode node = navigationView.getMenuTree().getRootTreeNode();
refreshTree(node);
}