Add pluginRepository declaration (needed for license-plugin dependency)
Add new CM token types
Load codemirror 4.2 instead of CodeMirror 2
Changed maven artifacts version
Disable license plugin
Create an interface over buffer
Add a second (incomplete) implementation of texteditor
Depend on editorwork branch version of platform-api-gwt-client
No need to everride asWidget is the class is already a Widget
Add missing CodeMirror js
Add log to get unidentified tokens
Add a class to inject css
Format change
No need to override getElement on a Widget ; plus it caused a
stackoverflow
Check if workspaceController is null
Inject CodeMirror CSS
Set mode on CodeMirror editor
Allow to build multiple editor implementations
Read the editor implementation from URL argument
Include CodeMirror base CSS