public interface UndoRedoEditListener
extends java.util.EventListener
The listener interface for receiving events from undo or redo operations on a text edition.
The listener object created from that class is then registered with a
component using the component's addUndoRedoEditListener
method. An event of this kind of operations is generated when an EditableTextDecorator
executes an undo or redo operation. The relevant method in the listener
object is then invoked, and the UndoRedoEditEvent is passed to it.
UndoRedoEditEvent| Modifier and Type | Method and Description |
|---|---|
void |
operationExecuted(UndoRedoEditEvent e)
Invoked when an undo or redo operation has been executed.
|
void operationExecuted(UndoRedoEditEvent e)
UndoRedoEditEvent for a notification of
an undo or redo operation executed on an editable text component.