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 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