org.gjt.sp.jedit.buffer
Interface BufferUndoListener

public interface BufferUndoListener

A 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 using JEditBuffer.addBufferUndoListener and JEditBuffer.removeBufferUndoListener, respectively.

Since:

jEdit 4.3pre18

Method Summary

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.

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