- (#<widget> 'edit 'redo)
- When the #:undo option is true, reapplies the last undone edits provided no other edits were done since then. Generates an error when the redo stack is empty. Does nothing when the #:undo option is false.
© Author
| Home
| Sitemap
|