Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
@mardraze As mentioned above I'll be removing  the public API `setEnabled()` and your extension will not be working with future releases. Sorry that this pull request will also make your extension obsolete, but it is based on your idea. So please review this pull requst and comment if you like. Thanks.