<radio-knob> ( -- gadget )

Vocabulary

ui.gadgets.buttons.private

Inputs

None

Outputs

gadget

an object

Definition

USING: accessors kernel ui.gadgets ui.pens ;

IN: ui.gadgets.buttons.private

: <radio-knob> ( -- gadget )
    <gadget> <radio-pen> >>interior
    checkmark-circle max-dims >>dim
    dup dup interior>> pen-pref-dim >>dim ;