ui.tools.listener.completion: if listener is not accepting input, pressing TAB would throw an error (reported by Doug Coleman)

db4
Slava Pestov 2009-07-03 22:35:34 -05:00
parent f53efa88c6
commit 8c3c007d8e
1 changed files with 1 additions and 0 deletions

View File

@ -63,6 +63,7 @@ M: definition-completion row-columns
M: word-completion row-color
[ vocabulary>> ] [ manifest>> ] bi* {
{ [ dup not ] [ COLOR: black ] }
{ [ 2dup search-vocabs>> memq? ] [ COLOR: black ] }
{ [ over ".private" tail? ] [ COLOR: dark-red ] }
[ COLOR: dark-gray ]