undoManager property

UndoManager undoManager

Gets or sets the UndoManager for this Model.

The default UndoManager has its UndoManager#isEnabled property set to false. If you want users to undo and redo, you should set that property to true once you have initialized the Diagram or its Model.

This property setter does not raise a ChangedEvent.

Implementation

_i3.UndoManager get undoManager => _i4.getProperty(
      this,
      'undoManager',
    );

void undoManager=(UndoManager value)

Implementation

set undoManager(_i3.UndoManager value) {
  _i4.setProperty(
    this,
    'undoManager',
    value,
  );
}