Remove CodeMirror operation when applying text operations, since it suppresses events and so attribute changes get out of sync. =/