]> gitweb.factorcode.org Git - factor.git/commitdiff
tools.completion: re-add chars-matching, not sure how i removed it.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Sep 2020 20:23:06 +0000 (13:23 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Sep 2020 20:23:06 +0000 (13:23 -0700)
basis/tools/completion/completion.factor

index 8a300b8520316ed5e7b75c7a4c1091b378708d67..8e10722cf258be1f15f0e5bc3672d98ac0cdf270 100644 (file)
@@ -97,6 +97,9 @@ PRIVATE>
     [ qualified-named [ append ] unless-empty ] bi
     completions ;
 
+: chars-matching ( str -- seq )
+    name-map keys dup zip completions ;
+
 : colors-matching ( str -- seq )
     named-colors dup zip completions ;