Interface OnUndoHistoryChangeListener

  • All Implemented Interfaces:

    
    public interface OnUndoHistoryChangeListener
    
                        

    Listener used to notify user that the undo history has changed.

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
    • Field Summary

      Fields 
      Modifier and Type Field Description
    • Constructor Summary

      Constructors 
      Constructor Description
    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
    • Method Summary

      Modifier and Type Method Description
      abstract Unit onUndoHistoryChanged(UndoManager undoManager) Notifies the observer that the undo history has changed inside the undo manager.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

    • Method Detail

      • onUndoHistoryChanged

         abstract Unit onUndoHistoryChanged(UndoManager undoManager)

        Notifies the observer that the undo history has changed inside the undo manager.

        Parameters:
        undoManager - Undo manager this listener is registered to.