Very crude `CodeMirror` integration: Save operation does not work yet, second load of tab is slow, height issue etc. .. but it "principle" it works.
Made `codemirror` perform properly upon re-loading a document
Replaced `setTimeout` with `Ext.defer`
Ensured that no infinite loop happens
Enabled `styleActiveLine: true` for CodeMirror