Fix key-repeats in the console (for instance the backspace key)