steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

db4
John Benediktsson 2011-09-17 09:04:36 -07:00
parent c5601cd86e
commit 1c3c2e6b1a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/tools/listener/completion/completion.factor
View File

@ -35,7 +35,7 @@ GENERIC: completion-quot ( interactor completion-mode -- quot )
M: word-completion completion-quot [ words-matching ] (completion-quot) ; M: word-completion completion-quot [ words-matching ] (completion-quot) ;
M: vocab-completion completion-quot [ vocabs-matching ] (completion-quot) ; M: vocab-completion completion-quot [ vocabs-matching ] (completion-quot) ;
M: char-completion completion-quot [ chars-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 ) GENERIC: completion-element ( completion-mode -- element )