807808809810811812813814815816817
return; iter = m_Listeners.iterator(); while (iter.hasNext()) { l = (TableModelListener) iter.next(); l.tableChanged(e); } } /** * removes the undo history
853854855856857858859860861862863