<radio-pen> ( -- pen )

Vocabulary

ui.gadgets.buttons.private

Inputs

None

Outputs

pen

an object

Definition

USING: ui.gadgets.buttons ui.pens.image ui.theme.images ;

IN: ui.gadgets.buttons.private

: <radio-pen> ( -- pen )
    "radio" theme-image <image-pen> "radio" theme-image
    <image-pen> "radio-clicked" theme-image <image-pen>
    "radio-set" theme-image <image-pen> "radio-set-clicked"
    theme-image <image-pen> <button-pen> ;