ui.tools.button-list: fix help-lint

diff --git a/basis/ui/tools/button-list/button-list-docs.factor b/basis/ui/tools/button-list/button-list-docs.factor
index 3d262d19947db8463d1128b7fa4e0c0ed30a07cb..fb88e65db492a7f44e1f31871ee5b2ac3bfefd23 100644 (file)
--- a/basis/ui/tools/button-list/button-list-docs.factor
+++ b/basis/ui/tools/button-list/button-list-docs.factor
@@ -1,6 +1,7 @@
-USING: help.markup help.syntax ui.tools.button-list ;
+USING: help.markup help.syntax ui.tools.common ;
 IN: ui.tools.button-list
 
 HELP: show-active-buttons-popup
+{ $values { "tool" tool } }
 { $description "Displays a popup window for fuzzy selection of any labeled button in any window of the session." } ;