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)
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
Interface for an activity that uses Undo/Redo.