onUndoHistoryChanged
Notifies the observer that the undo history has changed inside the undo manager.
Parameters
undoManager
Undo manager this listener is registered to.
Notifies the observer that the undo history has changed inside the undo manager.
Undo manager this listener is registered to.