Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
Can `keyEvent.DOM_VK_ALT` be used in place of `18`?