ProcedureConflictGraphNode wrapper = (ProcedureConflictGraphNode)user_obj;
CatalogViewer.this.replaceMainPanel(wrapper.getVisualization());
text_mode = false;
}
else if (user_obj instanceof PlanTreeCatalogNode) {
final PlanTreeCatalogNode wrapper = (PlanTreeCatalogNode)user_obj;
text_mode = false;
CatalogViewer.this.replaceMainPanel(wrapper.getPanel());
if (SwingUtilities.isEventDispatchThread() == false) {
SwingUtilities.invokeLater(new Runnable() {
public void run() {
wrapper.centerOnRoot();
}
});
} else {
wrapper.centerOnRoot();
}
}
// SUMMARY NODES
else if (node instanceof CatalogMapTreeNode) {