From 9535d83438f12940fff5f5e9a868c06a76401463 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Mon, 2 Jan 2012 21:38:56 -0800 Subject: [PATCH] listener: update docs --- basis/listener/listener-docs.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/listener/listener-docs.factor b/basis/listener/listener-docs.factor index 028f1ba985..acf6fadcd0 100644 --- a/basis/listener/listener-docs.factor +++ b/basis/listener/listener-docs.factor @@ -18,9 +18,9 @@ ARTICLE: "listener-watch" "Watching variables in the listener" "Clearing the watch list:" { $subsections hide-all-vars } ; -HELP: only-use-vocabs +HELP: use-loaded-vocabs { $values { "vocabs" "a sequence of vocabulary specifiers" } } -{ $description "Replaces the current manifest's vocabulary search path with the given set of vocabularies." } ; +{ $description "Adds to the search path only those vocabularies which are loaded." } ; HELP: with-interactive-vocabs { $values { "quot" quotation } } -- 2.34.1