ui.tools.listener: protect vocab completion from bad vocab names.

char-rename
John Benediktsson 2016-09-15 15:00:24 -07:00
parent f233e2a567
commit fd801e7946
1 changed files with 3 additions and 1 deletions

View File

@ -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>> [