Upgraded CodeMirror to 4.2.
Scroll position in file editor is now stored in localStorage.