ui.tools.listener.completion: allow substring search in history. Fixes #133.

diff --git a/basis/ui/tools/listener/completion/completion.factor b/basis/ui/tools/listener/completion/completion.factor
index 391cce7a9e98dc127e2745ddc26df43f3bf918f5..5ef9083d709dd118cdbc01842674d98b0c8e58e7 100644 (file)
--- a/basis/ui/tools/listener/completion/completion.factor
+++ b/basis/ui/tools/listener/completion/completion.factor
@@ -35,7 +35,7 @@ GENERIC: completion-quot ( interactor completion-mode -- quot )
 M: word-completion completion-quot [ words-matching ] (completion-quot) ;
 M: vocab-completion completion-quot [ vocabs-matching ] (completion-quot) ;
 M: char-completion completion-quot [ chars-matching ] (completion-quot) ;
-M: history-completion completion-quot drop '[ drop _ history-list ] ;
+M: history-completion completion-quot drop history-list [ completions ] curry ;
 
 GENERIC: completion-element ( completion-mode -- element )