steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Help markup fixes

darcs
slava 2006-06-26 07:08:35 +00:00
parent 7176754832
commit b682d52a9d
3 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/help/help.factor
View File

@ -30,7 +30,7 @@ M: word article-content
: help ( topic -- ) dup $title (help) terpri ; : help ( topic -- ) dup $title (help) terpri ;
: see-help ( word -- ) : see-help ( word -- )
dup help [ terpri $definition terpri ] with-default-style ; dup help terpri $definition terpri ;
: handbook ( -- ) "handbook" help ; : handbook ( -- ) "handbook" help ;

4
library/help/markup.factor
View File

@ -159,7 +159,7 @@ M: link summary "Link: " swap link-name unparse append ;
] ($block) table last-element set ; ] ($block) table last-element set ;
: $list ( content -- ) : $list ( content -- )
[ "\u00b7" swap 2array ] map list-style $grid ; [ "-" swap 2array ] map list-style $grid ;
: $table ( content -- ) : $table ( content -- )
table-style $grid ; table-style $grid ;
@ -192,7 +192,7 @@ M: link summary "Link: " swap link-name unparse append ;
: $see ( content -- ) first ($see) ; : $see ( content -- ) first ($see) ;
: $definition ( content -- ) : $definition ( content -- )
"Definition" $heading ($see) ; "Definition" $heading terpri ($see) ;
: $curious ( content -- ) : $curious ( content -- )
"For the curious..." $heading print-element ; "For the curious..." $heading print-element ;

3
library/help/stylesheet.factor
View File

@ -7,6 +7,7 @@ USING: styles ;
H{ H{
{ font "sans-serif" } { font "sans-serif" }
{ font-size 12 } { font-size 12 }
{ font-style plain }
{ wrap-margin 500 } { wrap-margin 500 }
} ; } ;
@ -34,6 +35,7 @@ USING: styles ;
: heading-style : heading-style
H{ H{
{ font "sans-serif" }
{ font-size 14 } { font-size 14 }
{ font-style bold } { font-style bold }
} ; } ;
@ -56,6 +58,7 @@ USING: styles ;
: code-style : code-style
H{ H{
{ font "monospace" } { font "monospace" }
{ font-size 12 }
{ page-color { 0.8 0.8 0.8 0.5 } } { page-color { 0.8 0.8 0.8 0.5 } }
{ border-width 5 } { border-width 5 }
{ wrap-margin f } { wrap-margin f }