public interface BufferUndoListener
JEditBuffer.addBufferUndoListener and
JEditBuffer.removeBufferUndoListener, respectively.
Modifier and Type | Method | Description |
---|---|---|
void |
beginRedo(JEditBuffer buffer) |
Called when a redo on the buffer begins.
|
void |
beginUndo(JEditBuffer buffer) |
Called when an undo operation on the buffer begins.
|
void |
endRedo(JEditBuffer buffer) |
Called when a redo on the buffer ends.
|
void |
endUndo(JEditBuffer buffer) |
Called when an undo operation on the buffer ends.
|
void beginUndo(JEditBuffer buffer)
buffer
- The buffer in questionvoid endUndo(JEditBuffer buffer)
buffer
- The buffer in questionvoid beginRedo(JEditBuffer buffer)
buffer
- The buffer in questionvoid endRedo(JEditBuffer buffer)
buffer
- The buffer in question