public interface UndoRedoListener
UndoRedoListener
class is designed
for listening on UndoRedoManager
.Modifier and Type | Method and Description |
---|---|
void |
eventAdded(java.lang.Object event)
Invoked when an event is added to UndoRedoManger.
|
void |
eventRemoved(java.lang.Object event)
Invoked when an event is removed from UndoRedoManger.
|
void |
redid(java.lang.Object event)
Invoked after an redo action is done.
|
void |
reset()
Invoked when UndoRedoManger instance is reset.
|
void |
undid(java.lang.Object event)
Invoked after an undo action is done.
|
void undid(java.lang.Object event)
event
- an event connected with the undo event.void redid(java.lang.Object event)
event
- an event connected with the redo event.void eventAdded(java.lang.Object event)
event
- an added event.void eventRemoved(java.lang.Object event)
event
- an removed event.void reset()
Copyright © 2002 - 2010 Serva Software. All Rights Reserved.