<editor-reloader> ( -- gadget )

Vocabulary

editors.ui

Inputs

None

Outputs

gadget

an object

Definition

USING: accessors editors sequences ui.gadgets ui.gadgets.packs ;

IN: editors.ui

: <editor-reloader> ( -- gadget )
    <filled-pile> { 2 2 } >>gap available-editors
    [ <reload-editor-button> add-gadget ] each ;