codenvy/platform-api-client-gwt — pull request #19 by mleduque (2014-06-25 12:32:05+00:00)
Title: Changes for editor-merge branch of ide

This changeset adds the codemirror 4.2 and Orion javascript and CSS files.
It _must_ be merged at the same time as the editor-merge branch of ide, or shortly after as merging any of both without the other will break some editor functionality in ide.