codio/CodeMirror — pull request #12 by mloginov (2014-10-07 09:19:07+00:00)
Title: Fixed scroll positioning in continuecommand addon

For https://codio.myjetbrains.com/youtrack/issue/codio-3044