From fd801e7946f9ab08723e87440a4b07fac8916c5f Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 15 Sep 2016 15:00:24 -0700 Subject: [PATCH] ui.tools.listener: protect vocab completion from bad vocab names. --- basis/ui/tools/listener/listener.factor | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor index 8a5d987681..0631fc2f5b 100644 --- a/basis/ui/tools/listener/listener.factor +++ b/basis/ui/tools/listener/listener.factor @@ -47,7 +47,9 @@ M: interactor manifest>> GENERIC: (word-at-caret) ( token completion-mode -- obj ) M: vocab-completion (word-at-caret) - drop dup vocab-exists? [ >vocab-link ] [ drop f ] if ; + drop + [ dup vocab-exists? [ >vocab-link ] [ drop f ] if ] + [ 2drop f ] recover ; M: word-completion (word-at-caret) manifest>> [