marijnh/CodeMirror — pull request #1914 by mtaran-google (2013-10-29 23:48:44+00:00)
Title: Stop propagation on keydown events handled as shortcuts.

I'm guessing there's a good reason CM currently doesn't stop propagation on these events. But this would be a great way of letting codemirror-based and external keyboard shortcuts play well together.