border-button-label-theme ( gadget -- )

Vocabulary

ui.gadgets.buttons.private

Inputs

gadget

an object

Outputs

None

Definition

USING: accessors kernel ui.gadgets.labels ;

IN: ui.gadgets.buttons.private

: border-button-label-theme ( gadget -- )
    dup label? [ [ clone t >>bold? ] change-font ] when drop ;