codenvy/ide — pull request #143 by mleduque (2014-06-25 12:34:06+00:00)
Title: Add codemirror and orion editor as options

Adds the ability to use codemirror or orion as editor implementation. The default editor is unchanged.
This pull request must be merged at the same time as https://github.com/codenvy/platform-api-client-gwt/pull/19 as merging any of them without the other one will break editor functionality.