Merge remote-tracking branch 'upstream/master'

db4
John Benediktsson 2011-08-08 23:03:17 -07:00
commit 962e63b014
3 changed files with 5 additions and 1 deletions
basis
tools/deploy
ui/tools/deploy

View File

@ -53,6 +53,7 @@ ERROR: can't-deploy-library-file library ;
deploy-math? get [ "math" , ] when
deploy-threads? get [ "threads" , ] when
"compiler" ,
deploy-help? get [ "help" , ] when
deploy-ui? get [ "ui" , ] when
deploy-unicode? get [ "unicode" , ] when
native-io? [ "io" , ] when

View File

@ -11,6 +11,7 @@ SYMBOL: deploy-console?
SYMBOL: deploy-math?
SYMBOL: deploy-unicode?
SYMBOL: deploy-threads?
SYMBOL: deploy-help?
SYMBOL: deploy-io
@ -57,6 +58,7 @@ SYMBOL: deploy-image
{ deploy-io 2 }
{ deploy-reflection 1 }
{ deploy-threads? t }
{ deploy-help? f }
{ deploy-unicode? f }
{ deploy-math? t }
{ deploy-word-props? f }

View File

@ -37,7 +37,8 @@ TUPLE: deploy-gadget < pack vocab settings ;
deploy-unicode? get "Unicode character literal support" <checkbox> add-gadget
deploy-word-props? get "Retain all word properties" <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-help? get "Retain documentation" <checkbox> add-gadget ;
: deploy-settings-theme ( gadget -- gadget )
{ 10 10 } >>gap