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