Fix #709, do not highlight the textarea in codemirror