]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.common: remove using
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 00:51:56 +0000 (16:51 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 00:51:56 +0000 (16:51 -0800)
basis/ui/tools/common/common-docs.factor

index 3128e81de7ac771b8d1a26dae59503824aa947ac..d3c028a307f75ba3d12104ceb2789700543b5c80 100644 (file)
@@ -1,4 +1,4 @@
-USING: classes help.markup help.syntax sequences ui.gadgets ui.tools.button-list ;
+USING: classes help.markup help.syntax sequences ui.gadgets ;
 IN: ui.tools.common
 
 HELP: set-tool-dim