public static interface History.Listener
| Modifier and Type | Interface and Description |
|---|---|
static class |
History.Listener.OperationType
Type of operation which occurred on the command history
|
| Modifier and Type | Method and Description |
|---|---|
void |
changed(History history,
History.Listener.OperationType operationType)
Called when a change occurred in the history.
|
void changed(History history, History.Listener.OperationType operationType)
history - the history that have been changedoperationType - type of the operation