/** * Inform listeners that tree has changed from given node on. */ @Override public void fireTreeChanged(ITreeNode node) { assert SwingUtilities.isEventDispatchThread();// || Starter.isShutdown(); super.fireTreeChanged(node); }
/** * Set the root node. */ public void setRoot(ITreeNode root) { if(this.root != null) deregisterNode(this.root); this.root = root; if (root != null) addNode(root); // System.err.println(""+hashCode()+" set root"); fireTreeChanged(root); }