Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
This doesn't work for me. According to the comments here and on line 136, the second event will have only `e.altKey`, but *not* `e.ctrlKey`. When I make that edit, then it works.