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 © 2019 University of Waikato, Hamilton, NZ. All rights reserved.