public interface HistoryChangedListener extends EventListener
| Modifier and Type | Method and Description |
|---|---|
void |
historyChanged(HistoryChangedEvent evt)
This method gets called when a history is modified.
|
void historyChanged(HistoryChangedEvent evt)
Copyright © 2016 University of Waikato, Hamilton, NZ. All Rights Reserved.