]> gitweb.factorcode.org Git - factor.git/blob - basis/editors/ui/ui.factor
81747033368f59ae7d3b2ec810ccc25256c02679
[factor.git] / basis / editors / ui / ui.factor
1 ! Copyright (C) 2018 Doug Coleman.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors editors kernel sequences ui ui.gadgets
4 ui.gadgets.borders ui.gadgets.buttons ui.gadgets.packs
5 ui.gadgets.scrollers ui.tools.listener vocabs.loader ;
6 IN: editors.ui
7
8 : <reload-editor-button> ( editor -- button )
9     dup '[ drop [ _ reload ] \ run call-listener ] <border-button> ;
10
11 : <editor-reloader> ( -- gadget )
12     <filled-pile> { 2 2 } >>gap available-editors
13     [ <reload-editor-button> add-gadget ] each ;
14
15 MAIN-WINDOW: editor-window { { title "Editors" } }
16     <editor-reloader> { 2 2 } <border> <scroller> >>gadgets ;