From d8813bf61acfa045ce8756521018eda49c36f0c7 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sat, 24 Feb 2018 18:11:26 -0800 Subject: [PATCH] help.vocabs: continue using convert-prefixes in $vocabs. --- basis/help/vocabs/vocabs.factor | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/basis/help/vocabs/vocabs.factor b/basis/help/vocabs/vocabs.factor index 1f39d06ab8..c0546a4645 100644 --- a/basis/help/vocabs/vocabs.factor +++ b/basis/help/vocabs/vocabs.factor @@ -26,8 +26,13 @@ IN: help.vocabs [ "Children from " prepend ] [ "Children" ] if* $heading ; +> ] when ] map ; +PRIVATE> + : $vocabs ( seq -- ) - [ vocab-row ] map vocab-headings prefix $table ; + convert-prefixes [ vocab-row ] map vocab-headings prefix $table ; : $vocab-roots ( assoc -- ) [