Fixing the situation in which the special-key-up callback is called twice when Ctrl...