com-font-size-minus ( gadget -- )

Vocabulary

ui.tools.private

Inputs

gadget

an object

Outputs

None

Definition

USING: ui ;

IN: ui.tools.private

: com-font-size-minus ( gadget -- ) -2 adjust-font-size ;