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 ;