Remove (temporarily) codemirror from the red-pill

What's the comment for? When you put CodeMirror back presumably the editor will be in an outer div, so the width here will still be 100%?