marijnh/CodeMirror — pull request #2012 by AndreyNikitin (2013-11-28 07:46:37+00:00)
Title: [ie bug] client 1508. fix bug with input focus on ie after switch between tabs.

[ie bug] client 1508. fix bug with input focus on ie after switch between tabs