/**
* Remove a <code>ChangeListener</code> so it is no longer notified when the selected color
* changes.
*/
public void removeChangeListener(ChangeListener l) {
if (changeListeners == null) return;
changeListeners.remove(l);
}
/** Deletes edge from m_edgeList. Returns true if edge found and deleted, false otherwise */
public boolean deleteEdge(TreeEdge edge) {
return m_edgeList.remove(edge);
}
