* BEGIN INTERFACE TreeSelectionListener
*/
public void valueChanged(TreeSelectionEvent e) {
DefaultMutableTreeNode node =
(DefaultMutableTreeNode)tree.getLastSelectedPathComponent();
SelectionEvent se;
if (node == null) {
/*
* We don't support this yet.
* Except at startup, an object will always be selected.
se = new SelectionEvent(this, SelectionEvent.CLEAR_SELECTION);
*/
} else {
/*
System.err.println("node selected class: " + node.getClass().getName());
System.err.println("node selected userObject class: " + node.getClass().getName());
*/
se = new SelectionEvent(this, SelectionEvent.OBJ_SELECTED);
se.setSelectedObj((ConsoleObj)node);
fireAdminEventDispatched(se);
}
}