Package org.gjt.sp.jedit.buffer
Interface BufferUndoListener
-
public interface BufferUndoListenerA interface for notification of buffer undo/redo actions. This interface makes it easier for undo-aware plugins to process undo/redo actions in a buffer. Buffer undo listeners are added and removed from a buffer usingJEditBuffer.addBufferUndoListenerandJEditBuffer.removeBufferUndoListener, respectively.- Since:
- jEdit 4.3pre18
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidbeginRedo(JEditBuffer buffer)Called when a redo on the buffer begins.voidbeginUndo(JEditBuffer buffer)Called when an undo operation on the buffer begins.voidendRedo(JEditBuffer buffer)Called when a redo on the buffer ends.voidendUndo(JEditBuffer buffer)Called when an undo operation on the buffer ends.
-
-
-
Method Detail
-
beginUndo
void beginUndo(JEditBuffer buffer)
Called when an undo operation on the buffer begins.- Parameters:
buffer- The buffer in question
-
endUndo
void endUndo(JEditBuffer buffer)
Called when an undo operation on the buffer ends.- Parameters:
buffer- The buffer in question
-
beginRedo
void beginRedo(JEditBuffer buffer)
Called when a redo on the buffer begins.- Parameters:
buffer- The buffer in question
-
endRedo
void endRedo(JEditBuffer buffer)
Called when a redo on the buffer ends.- Parameters:
buffer- The buffer in question
-
-