package org.argosdic.dictionary;

import org.eclipse.swt.widgets.Event;

/**
 * HistoryListener.java
 * @author Xavier Cho
 * @version $Revision: 1.1 $ $Date: 2003/10/12 10:36:31 $
 */
public interface HistoryListener {
    public void historyUpdated(Event event);
}
