public interface HistoryListener
| Modifier and Type | Method and Description |
|---|---|
void |
eventAdded(HistoryStack stack,
HistoryAction event,
int oldSize) |
void |
timeSelected(HistoryStack stack,
int time) |
void eventAdded(HistoryStack stack, HistoryAction event, int oldSize)
stack - event - oldSize - void timeSelected(HistoryStack stack, int time)
stack - time - Copyright © 2011-2016. All Rights Reserved.