Handbook
Glossary
redo-edit ( edit document -- )
Vocabulary
documents
.
private
Inputs
edit
an
object
document
an
object
Outputs
None
Definition
USING:
accessors
;
IN:
documents.private
:
redo-edit
( edit document -- )
[
new-string>>
]
[
old-to>>
]
undo/redo-edit
;