Remove code to unfocus codemirror on scroll, since it breaks iOS Safari and I can't reproduce the issue it originally fixed anymore (guessing it was fixed in CodeMirror).