  // Set cursor:
            var el = editor.dom.select('span#CmCaReT')[0];
            if (el) {
                editor.selection.scrollIntoView(el);
                editor.selection.setCursorLocation(el, 0);
                editor.dom.remove(el);
            }
        }
    </script>
    <style type="text/css">
        html, body { height: 100% }
        body { margin: 0 }
        .CodeMirror { height: 100% }
    </style>
</head>
<body>
</body>
</html>
