public interface BufferUndoListener
JEditBuffer.addBufferUndoListener
and
JEditBuffer.removeBufferUndoListener
, respectively.Modifier and Type | Method and 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