public interface HistoryChangedListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
historyChanged(HistoryChangedEvent evt)
This method gets called when a history is modified.
|
void historyChanged(HistoryChangedEvent evt)