org.gjt.sp.jedit.buffer

Interface BufferUndoListener

    • Method Summary

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