I just tweaked it (again) so that we remove focus from CodeMirror when you scroll the page, so this should be taken care of.
Sorry about that!