431432433434435436437438439440441
HistoryChangedListener l; iter = m_HistoryChangedListeners.iterator(); while (iter.hasNext()) { l = (HistoryChangedListener) iter.next(); l.historyChanged( new HistoryChangedEvent(this, HISTORY_NAME, getHistory())); } } /**
463464465466467468469470471472473
510511512513514515516517518519520