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