codio/CodeMirror — pull request #5 by AndreyNikitin (2013-11-28 07:49:08+00:00)
Title: [ie bug] client 1508. fix bug with input on ie after switch between tabs.

fixes #1508. fix bug with input focus on ie after switch between tabs.