[slime-devel] Closing *Completions* buffer

[Camille Troillard]

Helmut Eller wrote:

> Currently the buffer is closed after a completion, when the user types
> one of the chars "()\"'`,# \r\n:" after.  We also wait for the next
> possibility when the user inserts a self-inserting char, completes
> again or a hits backspace.  We give up if the user does something
> else, like switching to another buffer.
> 
> If you have a better or simpler idea, please speak up :)

The patch Tiago sent just adds the little tweak I was suggesting.  Thanks !


Camille