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