codemirror/CodeMirror — pull request #2926 by sgoo (2014-11-13 00:17:44+00:00)
Title: fix #2925 Ensure that closeOnEnter can preventDefault

When closeOnEnter is set the enter event never gets default prevented
this causes issues for IE9/10, this way implementors can optionally
preventDefault if they want