20 Apr
2004
20 Apr
'04
11:41 p.m.
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