border-button-theme ( gadget -- gadget )

Vocabulary

ui.gadgets.buttons.private

Inputs

gadget

an object

Outputs

gadget

an object

Definition

USING: accessors kernel ui.gadgets ui.pens ;

IN: ui.gadgets.buttons.private

: border-button-theme ( gadget -- gadget )
    dup gadget-child border-button-label-theme
    horizontal >>orientation <border-button-pen> >>interior
    dup dup interior>> pen-pref-dim >>min-dim { 10 0 } >>size ;
    inline