I guess the completion menu should linger with a message about no completions beeing available. I have not implemented that though.
wouldn't it be better to simply disappear the menu?
At first I thought so as well, but after some thinking I guess it would be nice to be able to type a wrong char and delete it without having to pop the menu up again, I think that is the reason why xcode has that behaviour.
Joachim MÃ¥rtensson