503504505506507508509510511512513
public void fireGraphActionResetEvent() { Iterator iter = graphActionListeners.iterator(); while (iter.hasNext()) { GraphActionListener l = (GraphActionListener) iter.next(); l.graphActionReset(); } } // ////////////////// // selection stuff