<field-border> ( gadget -- border )

Vocabulary

ui.gadgets.editors.private

Inputs

gadget

an object

Outputs

border

an object

Definition

USING: ui.gadgets.borders ;

IN: ui.gadgets.editors.private

: <field-border> ( gadget -- border )
    border new-border field-theme ;