marijnh/CodeMirror — pull request #2102 by peterkroon (2014-01-04 18:11:49+00:00)
Title: [extraKey] allow for multiple key combinations...

...for 1 function.

Example:

````javascript

extraKeys: {
"Ctrl-1 Ctrl-2 Ctrl-3": function(cm) {
//do something here
}
}
````