Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
Not sure how you measure the 1 sec, but it shouldn't matter when you're pressing AltGr key with other non-modifier keys like all those alphabet keys. It's working for me all the time. You need to show me when it is not working for you.