Fix conflict between CodeMirror and Mausetrap

That was a LOT easier than I though :D Thanks @ccampbell for solving my
problems!