Esempio n. 1
0
 /**
  * Unmap all nodes in the subtree rooted at the given node.
  *
  * @param node the given node
  */
 private void removeNodesFromMap(ExplorerTreeNode node) {
   Enumeration children = node.children();
   while (children.hasMoreElements()) {
     ExplorerTreeNode child = (ExplorerTreeNode) children.nextElement();
     removeNodesFromMap(child);
   }
   removeFromMap(node.getUserObject(), node);
 }
Esempio n. 2
0
 /*
  * @see javax.swing.tree.DefaultTreeModel#removeNodeFromParent(javax.swing.tree.MutableTreeNode)
  */
 @Override
 public void removeNodeFromParent(MutableTreeNode node) {
   if (node instanceof ExplorerTreeNode) {
     removeNodesFromMap((ExplorerTreeNode) node);
     ((ExplorerTreeNode) node).remove();
   }
   super.removeNodeFromParent(node);
 }