Eric Botcazou - 2001-04-06

Logged In: YES
user_id=113920

AFAIK, clear_keybuf() has always cleared the key[] array.
Why do you need to call clear_keybuf() while keys are being
pressed ?