Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
I put in console.log statements and see that there is about a 1 second delay between the second and third events. So, it only works if I press AltGr key down and then wait about 1 second before pressing other keys. Is that the correct behavior?