treeGrid.deselectAllRecords();
} else {
Tree tree = treeGrid.getTree();
TreeNode node = tree.find(sectionName + "/" + pageName);
if (node != null) {
treeGrid.selectSingleRecord(node);
} else {
CoreGUI.getErrorHandler().handleError(MSG.view_leftNav_unknownPage(pageName, sectionName));
}
}
}