Interface for an activity that uses Undo/Redo.
An additional function that determines whether the extender
is enabled. By default it is considered enabled if the application
active widget is contained in the
tracker. If this is also
provided, the criterion is equivalent to
tracker.has(widget) && extender.isEnabled(widget)
Execute a redo command for the activity.
A widget tracker for identifying the appropriate extender.
Execute an undo command for the activity.
Generated using TypeDoc