$deprecated ( element -- ) (original) (raw)

$deprecated ( element -- )

Vocabulary
help.markup

Inputs

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) ;