ajaxorg/ace — pull request #1463 by nightwing (2013-06-08 13:51:56+00:00)
Title: [Wip] do not capture alt-gr key

workaround for #1141