Handbook
Glossary
history-completion
Vocabulary
ui.tools.listener.completion
Definition
IN:
ui.tools.listener.completion
SINGLETON:
history-completion
Methods
USING:
kernel
ui.tools.listener.completion
;
M:
history-completion
completion-banner
drop
"Input history"
;
USING:
documents.elements
kernel
ui.tools.listener.completion
;
M:
history-completion
completion-element
drop
one-line-elt
;
USING:
kernel
ui.tools.listener.completion
;
M:
history-completion
completion-quot
drop
[
history-completions
]
curry
;