From 1c3c2e6b1adc4fc9b3c2730910201adb0a033628 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sat, 17 Sep 2011 09:04:36 -0700 Subject: [PATCH] ui.tools.listener.completion: allow substring search in history. Fixes #133. --- basis/ui/tools/listener/completion/completion.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/ui/tools/listener/completion/completion.factor b/basis/ui/tools/listener/completion/completion.factor index 391cce7a9e..5ef9083d70 100644 --- 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 )