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

ui.tools.listener.completion: when completing history, only show unique completions.

db4
John Benediktsson 2011-09-17 09:53:59 -07:00
parent 22cce1d4e2
commit ffd54d4d20
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -20,6 +20,9 @@ SLOT: history
[ dup string>> { { CHAR: \n CHAR: \s } } substitute ] { } map>assoc [ dup string>> { { CHAR: \n CHAR: \s } } substitute ] { } map>assoc
<reversed> ; <reversed> ;
: history-completions ( short interactor -- seq )
history-list over empty? [ nip ] [ members completions ] if ;
TUPLE: word-completion manifest ; TUPLE: word-completion manifest ;
C: <word-completion> word-completion C: <word-completion> word-completion
@ -35,7 +38,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 '[ _ history-list completions ] ; M: history-completion completion-quot drop '[ _ history-completions ] ;
GENERIC: completion-element ( completion-mode -- element ) GENERIC: completion-element ( completion-mode -- element )