Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
Sure!