From 69849bc925794d6380dbda2effa028f02a5be32d Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 7 Nov 2019 09:57:21 -0800 Subject: [PATCH] ui.tools.listener: better future-proofing with code-completion class. --- basis/ui/tools/listener/completion/completion.factor | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/basis/ui/tools/listener/completion/completion.factor b/basis/ui/tools/listener/completion/completion.factor index e0a5605360..f8dee124bb 100644 --- a/basis/ui/tools/listener/completion/completion.factor +++ b/basis/ui/tools/listener/completion/completion.factor @@ -35,8 +35,9 @@ SINGLETONS: vocab-completion color-completion char-completion path-completion history-completion ; UNION: definition-completion word-completion vocab-word-completion vocab-completion ; -UNION: listener-completion definition-completion -color-completion char-completion path-completion history-completion ; +UNION: code-completion definition-completion +color-completion char-completion path-completion ; +UNION: listener-completion code-completion history-completion ; GENERIC: completion-quot ( interactor completion-mode -- quot ) @@ -200,9 +201,9 @@ M: completion-popup handle-gesture ( gesture completion -- ? ) : ?check-popup ( interactor -- interactor ) dup popup>> [ gadget-child dup completion-popup? [ - completion-mode>> dup history-completion? [ drop ] [ + completion-mode>> dup code-completion? [ over completion-mode = [ dup popup>> hide-glass ] unless - ] if + ] [ drop ] if ] [ drop ] if ] when* ;