introduction. ( -- )

Vocabulary

ui.tools.listener

Inputs

None

Outputs

None

Definition

USING: fonts hashtables help.markup help.tips io io.styles
system ;

IN: ui.tools.listener

: introduction. ( -- )
    [
        default-font-size font-size associate [
            { $tip-of-the-day } print-element nl {
                $strong
                "Press "
                { $snippet "F1" }
                " at any time for help."
            } print-element nl vm-info print-element
        ] with-style
    ] with-default-style nl nl ;