Handbook
Glossary
interactor-finish ( interactor -- )
Vocabulary
ui
.
tools
.
listener
Inputs
interactor
an
object
Outputs
None
Definition
USING:
accessors
documents
kernel
ui.gadgets.editors
ui.tools.listener.history
;
IN:
ui.tools.listener
:
interactor-finish
( interactor -- )
[
history>>
history-add
]
keep
[
print-input
]
[
clear-editor
drop
]
[
model>>
clear-undo
drop
]
2tri
;