/** * Get the index of a child. */ @Override public int getIndexOfChild(ITreeNode child) { assert SwingUtilities.isEventDispatchThread();// || Starter.isShutdown(); return super.getIndexOfChild(child); }
/** * Remove a child and update the tree. */ public void removeChild(ITreeNode node) { int index = getIndexOfChild(node); if(index != -1) { // boolean removed = children.remove(node); // if(node.getId().toString().startsWith("ANDTest@")) // System.out.println("removed: "+node+", "+removed); model.deregisterNode(node); model.fireNodeRemoved(this, node, index); if (searching) dirty = true; } else { getModel().addZombieNode(node.getId()); } }