Disable tabs
Make CodeMirror editor resizable
Show tabs
Normalize tabs/spaces in codemirror.js