help.vocabs: continue using convert-prefixes in $vocabs.

windows-high-dpi
John Benediktsson 2018-02-24 18:11:26 -08:00
parent c48d3da8b5
commit d8813bf61a
1 changed files with 6 additions and 1 deletions

View File

@ -26,8 +26,13 @@ IN: help.vocabs
[ "Children from " prepend ] [ "Children" ] if*
$heading ;
<PRIVATE
: convert-prefixes ( seq -- seq' )
[ dup vocab-prefix? [ name>> <vocab-link> ] when ] map ;
PRIVATE>
: $vocabs ( seq -- )
[ vocab-row ] map vocab-headings prefix $table ;
convert-prefixes [ vocab-row ] map vocab-headings prefix $table ;
: $vocab-roots ( assoc -- )
[