editor-completion

Vocabulary

ui.tools.listener.completion

Definition

IN: ui.tools.listener.completion

SINGLETON: editor-completion

Methods

USING: kernel ui.tools.listener.completion ;

M: editor-completion completion-banner drop "Editors" ;


USING: tools.completion ui.tools.listener.completion ;

M: editor-completion completion-quot
    [ editors-matching ] (completion-quot) ;