restart-listener ( listener -- )

Vocabulary

ui.tools.listener

Inputs

listener

an object

Outputs

None

Definition

USING: accessors combinators ui.gadgets.editors ;

IN: ui.tools.listener

: restart-listener ( listener -- )
    {
        [ com-end ]
        [ clear-output ]
        [ input>> clear-editor ]
        [ start-listener-thread ]
        [ wait-for-listener ]
    } cleave ;