/**
* Set the specified URI as the selected node in the tree (if it exists)
*
* @param uri
*/
public void setSelectedValue(String uri) {
OntDocumentManagerTreeModel model = (OntDocumentManagerTreeModel) this.getModel();
TreePath treePath = model.getPath(uri);
if (treePath != null) {
this.setSelectionPath(treePath);
} else {
this.clearSelection();
}
}
/** Refreshes the tree structure, expanding every branch in the tree */
public void refresh() {
OntDocumentManagerTreeModel model = (OntDocumentManagerTreeModel) this.getModel();
Object root = model.getRoot();
if (root != null) {
model.fireTreeStructureChanged(root, new TreePath(root));
for (int i = 0; i < this.getRowCount(); i++) {
this.expandRow(i);
}
}
}