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

help: change $title to nest then style. 

This changnes the HTML we produce to look like:

    <div><span>...</span></div>

Instead of:

    <span><div>...</div></span>
flac
John Benediktsson 2020-02-13 21:01:03 -08:00 committed by Steve Ayerhart
parent fd8d19cd41
commit a7aca0ca75
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/help/help.factor
View File

@ -133,8 +133,8 @@ M: word set-article-parent swap "help-parent" set-word-prop ;
[ ($title) ] [ ($title) ]
[ ($navigation-path) ] [ ($navigation-path) ]
[ ($navigation-links) ] tri [ ($navigation-links) ] tri
] with-nesting ] with-style
] with-style ; ] with-nesting ;
: print-topic ( topic -- ) : print-topic ( topic -- )
>link >link