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 doc-elt ;


USING: kernel ui.tools.listener.completion ;

M: history-completion completion-quot
    drop [ history-completions ] curry ;