Module jEdit

Package 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

Version:

$Id: BufferUndoListener.java 23981 2015-08-10 14:56:24Z daleanson $

Author:

Shlomy Reinstein

Method Summary

Modifier and Type	Method	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.

Method Details

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