<reload-editor-button> ( editor -- button )

Vocabulary

editors.ui

Inputs

editor

an object

Outputs

button

an object

Definition

USING: editors kernel namespaces splitting ui.gadgets.buttons
ui.tools.listener vocabs.loader vocabs.parser ;

IN: editors.ui

: <reload-editor-button> ( editor -- button )
    dup '[
        drop [
            _
            [ reload ] [ use-vocab ] [
                "editors." ?head drop
                search editor-class set-global
            ] tri
        ] \ run call-listener
    ] <border-button> ;