- (#<widget> 'edit 'undo)
- Undoes the last edit action when the #:undo option is true. An edit action is defined as all the insert and delete commands that are recorded on the undo stack in between two separators. Generates an error when the undo stack is empty. Does nothing when the #:undo option is false.
© Author
| Home
| Sitemap
|