reflection-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

: reflection-settings ( parent -- parent )
    "Reflection level:" <label> add-gadget
    deploy-reflection get deploy-reflection-options
    <radio-buttons> add-gadget ;