Package org.gjt.sp.jedit.buffer

Interface BufferUndoListener

    • 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