$deprecated help markup

Joe Groff 2009-08-20 18:36:55 -05:00
parent 719ba6e3fd
commit 16c90d29e5
2 changed files with 16 additions and 0 deletions

View File

@ -137,6 +137,14 @@ ALIAS: $slot $snippet
] with-nesting ] with-nesting
] ($heading) ; ] ($heading) ;
: $deprecated ( element -- )
[
deprecated-style get [
last-element off
"This word is deprecated" $heading print-element
] with-nesting
] ($heading) ;
! Images ! Images
: $image ( element -- ) : $image ( element -- )
[ first write-image ] ($span) ; [ first write-image ] ($span) ;

View File

@ -85,6 +85,14 @@ H{
{ wrap-margin 500 } { wrap-margin 500 }
} warning-style set-global } warning-style set-global
SYMBOL: deprecated-style
H{
{ page-color COLOR: gray90 }
{ border-color COLOR: red }
{ border-width 5 }
{ wrap-margin 500 }
} deprecated-style set-global
SYMBOL: table-content-style SYMBOL: table-content-style
H{ H{
{ wrap-margin 350 } { wrap-margin 350 }