steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.tools.deploy: make deploy-settings-theme a filter

db4
Eduardo Cavazos 2008-07-13 14:51:54 -05:00
parent 40d360c5a5
commit 2ea81d57cb
1 changed files with 24 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
extra/ui/tools/deploy/deploy.factor
View File

@ -41,26 +41,25 @@ TUPLE: deploy-gadget < pack vocab settings ;
deploy-word-defs? get "Retain all word definitions" <checkbox> add-gadget deploy-word-defs? get "Retain all word definitions" <checkbox> add-gadget
deploy-c-types? get "Retain all C types" <checkbox> add-gadget ; deploy-c-types? get "Retain all C types" <checkbox> add-gadget ;
: deploy-settings-theme ( gadget -- ) : deploy-settings-theme ( gadget -- gadget )
{ 10 10 } >>gap { 10 10 } >>gap
1 >>fill 1 >>fill ;
drop ;
: <deploy-settings> ( vocab -- control ) : <deploy-settings> ( vocab -- control )
default-config [ <model> ] assoc-map default-config [ <model> ] assoc-map
[ [
<pile> <pile>
bundle-name bundle-name
deploy-ui deploy-ui
os macosx? [ exit-when-windows-closed ] when os macosx? [ exit-when-windows-closed ] when
io-settings io-settings
reflection-settings reflection-settings
advanced-settings advanced-settings
dup deploy-settings-theme deploy-settings-theme
namespace <mapping> over set-gadget-model namespace <mapping> over set-gadget-model
] ]
bind ; bind ;
: find-deploy-gadget ( gadget -- deploy-gadget ) : find-deploy-gadget ( gadget -- deploy-gadget )
[ deploy-gadget? ] find-parent ; [ deploy-gadget? ] find-parent ;
@ -106,14 +105,14 @@ deploy-gadget "toolbar" f {
} define-command-map } define-command-map
: <deploy-gadget> ( vocab -- gadget ) : <deploy-gadget> ( vocab -- gadget )
deploy-gadget new-gadget deploy-gadget new-gadget
over >>vocab over >>vocab
{ 0 1 } >>orientation { 0 1 } >>orientation
swap <deploy-settings> >>settings swap <deploy-settings> >>settings
dup settings>> add-gadget dup settings>> add-gadget
dup <toolbar> { 10 10 } >>gap add-gadget dup <toolbar> { 10 10 } >>gap add-gadget
dup deploy-settings-theme deploy-settings-theme
dup com-revert ; dup com-revert ;
: deploy-tool ( vocab -- ) : deploy-tool ( vocab -- )
vocab-name dup <deploy-gadget> 10 <border> vocab-name dup <deploy-gadget> 10 <border>