From 16c90d29e5bf452cf320c57a193f6977ed7d5e0d Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Thu, 20 Aug 2009 18:36:55 -0500 Subject: [PATCH] $deprecated help markup --- basis/help/markup/markup.factor | 8 ++++++++ basis/help/stylesheet/stylesheet.factor | 8 ++++++++ 2 files changed, 16 insertions(+) diff --git a/basis/help/markup/markup.factor b/basis/help/markup/markup.factor index 6f82a6f50b..2270088490 100644 --- a/basis/help/markup/markup.factor +++ b/basis/help/markup/markup.factor @@ -137,6 +137,14 @@ ALIAS: $slot $snippet ] with-nesting ] ($heading) ; +: $deprecated ( element -- ) + [ + deprecated-style get [ + last-element off + "This word is deprecated" $heading print-element + ] with-nesting + ] ($heading) ; + ! Images : $image ( element -- ) [ first write-image ] ($span) ; diff --git a/basis/help/stylesheet/stylesheet.factor b/basis/help/stylesheet/stylesheet.factor index 74d7f6c115..c7811a605d 100644 --- a/basis/help/stylesheet/stylesheet.factor +++ b/basis/help/stylesheet/stylesheet.factor @@ -85,6 +85,14 @@ H{ { wrap-margin 500 } } 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 H{ { wrap-margin 350 }