]> gitweb.factorcode.org Git - factor.git/commitdiff
listener: update docs
authorSlava Pestov <slava@factorcode.org>
Tue, 3 Jan 2012 05:38:56 +0000 (21:38 -0800)
committerSlava Pestov <slava@factorcode.org>
Tue, 3 Jan 2012 05:38:56 +0000 (21:38 -0800)
basis/listener/listener-docs.factor

index 028f1ba98522f2b5725789d6a70337c56efa8ebc..acf6fadcd08fc2f128a04ced2d69558bcf1ef66b 100644 (file)
@@ -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 } }