]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.gadgets: don't need double USE:.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 25 Feb 2021 23:32:47 +0000 (17:32 -0600)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 25 Feb 2021 23:32:47 +0000 (17:32 -0600)
basis/ui/gadgets/gadgets.factor

index d584253eefda1b2f38620a0ed793def77d3cd23f..db3686997c428cd144e43a79cf11d0377a7cf9d9 100644 (file)
@@ -408,6 +408,4 @@ GENERIC: preedit? ( gadget -- ? )
 
 M: gadget preedit? drop f ;
 
-USE: vocabs.loader
-
 { "ui.gadgets" "prettyprint" } "ui.gadgets.prettyprint" require-when