ui.tools.listener.completion: delay history-list to allow live searching.
parent
1c3c2e6b1a
commit
22cce1d4e2
|
@ -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 history-list [ completions ] curry ;
|
||||
M: history-completion completion-quot drop '[ _ history-list completions ] ;
|
||||
|
||||
GENERIC: completion-element ( completion-mode -- element )
|
||||
|
||||
|
|
Loading…
Reference in New Issue