public interface UndoListener
| Modifier and Type | Method and Description |
|---|---|
void |
bufferChanged(BufferKey<?> key)
A buffer has changed due to an undo or redo operation.
|
void |
redoPerformed()
A redo has been performed.
|
void |
savePointArmed()
A save point has been scheduled.
|
void |
savePointCreated()
A save point has been performed.
|
void |
undoPerformed()
An undo has been performed.
|
void savePointArmed()
void savePointCreated()
void undoPerformed()
void redoPerformed()
void bufferChanged(BufferKey<?> key)
key - The key of the buffer that has changed.Copyright © 2011–2023 pepsoft.org. All rights reserved.