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