<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 [
        [ reload ] [ use-vocab ]
        [ "editors." ?head drop search editor-class set-global ]
        tri
    ] curry [ [ drop ] ] dip [ \ run call-listener ] curry
    compose <border-button> ;