marijnh/CodeMirror — pull request #2151 by sheopory (2014-01-16 22:06:19+00:00)
Title: onFocus handlers were not getting called

onFocus handlers were not called as a result of focus().