set-tools-font-size ( size -- )

Vocabulary

ui.tools.theme

Inputs

size

an object

Outputs

None

Definition

USING: fonts memoize namespaces ui.gadgets.panes.private
vocabs.loader ;

IN: ui.tools.theme

: set-tools-font-size ( size -- )
    \ default-font-size set-global
    \ specified-font reset-memoized "help.stylesheet" reload ;