Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
Can `keyEvent.DOM_VK_CONTROL` be used in place of `17`?