advanced-settings ( parent -- parent )

Vocabulary

ui.tools.deploy

Inputs

parent

an object

Outputs

parent

an object

Definition

USING: namespaces tools.deploy.config ui.gadgets
ui.gadgets.buttons ui.gadgets.labels ;

IN: ui.tools.deploy

: advanced-settings ( parent -- parent )
    "Additional reflection:" <label> add-gadget
    deploy-unicode? get "Unicode character literal table"
    <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-help? get "Retain documentation" <checkbox>
    add-gadget ;