com-font-size-plus ( gadget -- )

Vocabulary

ui.tools.private

Inputs

gadget

an object

Outputs

None

Definition

USING: ui ;

IN: ui.tools.private

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