marijnh/CodeMirror — pull request #2280 by njx (2014-02-20 03:08:26+00:00)
Title: Always check/restore focus around call to `patchDisplay()`

Prevents focus loss in line widgets when they're updated. See #2279.