edit redo

(#<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