Disable KeyBindingManager on right Alt keydown.

This fixes issue #8666.
These tests verify that other key handling is correct when AltGr key is pressed (or not). Are there already any tests to verify that AltGr key combinations are handled correctly?