Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
According to this code, it looks like I can press AltGr key (and release it). Then it's active until I press the Ctrl key. Is that correct?

If so, it does *not* seem to behave that way.

If not, then what's the purpose of pressing Ctrl key while AltGr is down?