Followup: It seems the key release event doesn't get lost completely, but it's evaluation is delayed for several seconds (the equivalent about 5-30 key repeats at the default setting): even when no other key is pressed, only these 5-30 key commands are processed (the amount varies), then it settles down on its own.
Followup: It seems the key release event doesn't get lost completely, but it's evaluation is delayed for several seconds (the equivalent about 5-30 key repeats at the default setting): even when no other key is pressed, only these 5-30 key commands are processed (the amount varies), then it settles down on its own.