Interface UndoListener


public interface UndoListener
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    A buffer has changed due to an undo or redo operation.
    void
    A redo has been performed.
    void
    A save point has been scheduled.
    void
    A save point has been performed.
    void
    An undo has been performed.
  • Method Details

    • savePointArmed

      void savePointArmed()
      A save point has been scheduled. The listener should re-get all its buffers when it wants to edit them.
    • savePointCreated

      void savePointCreated()
      A save point has been performed. The listener should re-get all its buffers when it wants to edit them.
    • undoPerformed

      void undoPerformed()
      An undo has been performed.
    • redoPerformed

      void redoPerformed()
      A redo has been performed.
    • bufferChanged

      void bufferChanged(BufferKey<?> key)
      A buffer has changed due to an undo or redo operation. The listener should re-get it.
      Parameters:
      key - The key of the buffer that has changed.