codemirror patch