codio/CodeMirror — pull request #11 by vvlevykin (2014-09-24 12:28:53+00:00)
Title: Use soft tabs if the option is to indent with spaces.

Fixes https://codio.myjetbrains.com/youtrack/issue/codio-3313