I think technically the code mirror event fires before the document events that the global keyboard manager is listening to. Maybe change this from "we've already handle it" to "the global keyboard/shortcut manager will handle it"