public static interface GenericObjectEditorHistory.HistorySelectionListener
Modifier and Type | Method and Description |
---|---|
void |
historySelected(GenericObjectEditorHistory.HistorySelectionEvent e)
Gets called when a history item gets selected.
|
void historySelected(GenericObjectEditorHistory.HistorySelectionEvent e)
e
- the event