$deprecated ( element -- )

Vocabulary

help.markup

Inputs

element

a markup element

Outputs

None

Word description

Prints a notice indicating that the current page describes a deprecated word.

Definition

USING: help.stylesheet io.styles namespaces ;

IN: help.markup

: $deprecated ( element -- )
    [
        deprecated-style get [
            last-element off "This word is deprecated" $heading
            print-element
        ] with-nesting
    ] ($heading) ;