public interface HistoryListener extends EventListener
The GNU Lesser General Public License for details.
void
historyChanged(HistoryEvent e)
void historyChanged(HistoryEvent e)