]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge branch 'master' into new_ui
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Sat, 13 Dec 2008 11:00:55 +0000 (05:00 -0600)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Sat, 13 Dec 2008 11:00:55 +0000 (05:00 -0600)
1  2 
basis/ui/tools/deploy/deploy.factor

index b98fd789886d2fe1e3f5bd0f213ab655d63869d3,38db81c3dc26e5664f741e905c170fc514c69de4..afb1e4e8b5befe37a8370e46aeda7f64af1ce117
@@@ -11,17 -11,13 +11,13 @@@ IN: ui.tools.deplo
  TUPLE: deploy-gadget < pack vocab settings ;
  
  : bundle-name ( parent -- parent )
 -    deploy-name get <field>
 +    deploy-name get <model-field>
      "Executable name:" label-on-left add-gadget ;
  
  : deploy-ui ( parent -- parent )
      deploy-ui? get
      "Include user interface framework" <checkbox> add-gadget ;
  
- : exit-when-windows-closed ( parent -- parent )
-     "stop-after-last-window?" get
-     "Exit when last UI window closed" <checkbox> add-gadget ;
  : io-settings ( parent -- parent )
      "Input/output support:" <label> add-gadget
      deploy-io get deploy-io-options <radio-buttons> add-gadget ;
@@@ -50,7 -46,6 +46,6 @@@
              <pile>
              bundle-name
              deploy-ui
-             os macosx? [ exit-when-windows-closed ] when
              io-settings
              reflection-settings
              advanced-settings