@lingxiteam/lcdp-ueditor-react 1.0.2 → 1.0.3-alpha.1

package/ueditor-resource/third-party/codemirror/codemirror.js

@@ -1,3581 +1,3 @@
-// CodeMirror version 2.2
-//
-// All functions that need access to the editor's state live inside
-// the CodeMirror function. Below that, at the bottom of the file,
-// some utilities are defined.
-
-// CodeMirror is the only global var we claim
-var CodeMirror = (function() {
-    // This is the function that produces an editor instance. It's
-    // closure is used to store the editor state.
-    function CodeMirror(place, givenOptions) {
-        // Determine effective options based on given values and defaults.
-        var options = {}, defaults = CodeMirror.defaults;
-        for (var opt in defaults)
-            if (defaults.hasOwnProperty(opt))
-                options[opt] = (givenOptions && givenOptions.hasOwnProperty(opt) ? givenOptions : defaults)[opt];
-
-        var targetDocument = options["document"];
-        // The element in which the editor lives.
-        var wrapper = targetDocument.createElement("div");
-        wrapper.className = "CodeMirror" + (options.lineWrapping ? " CodeMirror-wrap" : "");
-        // This mess creates the base DOM structure for the editor.
-        wrapper.innerHTML =
-            '<div style="overflow: hidden; position: relative; width: 3px; height: 0px;">' + // Wraps and hides input textarea
-                '<textarea style="position: absolute; padding: 0; width: 1px;" wrap="off" ' +
-                'autocorrect="off" autocapitalize="off"></textarea></div>' +
-                '<div class="CodeMirror-scroll" tabindex="-1">' +
-                '<div style="position: relative">' + // Set to the height of the text, causes scrolling
-                '<div style="position: relative">' + // Moved around its parent to cover visible view
-                '<div class="CodeMirror-gutter"><div class="CodeMirror-gutter-text"></div></div>' +
-                // Provides positioning relative to (visible) text origin
-                '<div class="CodeMirror-lines"><div style="position: relative">' +
-                '<div style="position: absolute; width: 100%; height: 0; overflow: hidden; visibility: hidden"></div>' +
-                '<pre class="CodeMirror-cursor">&#160;</pre>' + // Absolutely positioned blinky cursor
-                '<div></div>' + // This DIV contains the actual code
-                '</div></div></div></div></div>';
-        if (place.appendChild) place.appendChild(wrapper); else place(wrapper);
-        // I've never seen more elegant code in my life.
-        var inputDiv = wrapper.firstChild, input = inputDiv.firstChild,
-            scroller = wrapper.lastChild, code = scroller.firstChild,
-            mover = code.firstChild, gutter = mover.firstChild, gutterText = gutter.firstChild,
-            lineSpace = gutter.nextSibling.firstChild, measure = lineSpace.firstChild,
-            cursor = measure.nextSibling, lineDiv = cursor.nextSibling;
-        themeChanged();
-        // Needed to hide big blue blinking cursor on Mobile Safari
-        if (/AppleWebKit/.test(navigator.userAgent) && /Mobile\/\w+/.test(navigator.userAgent)) input.style.width = "0px";
-        if (!webkit) lineSpace.draggable = true;
-        if (options.tabindex != null) input.tabIndex = options.tabindex;
-        if (!options.gutter && !options.lineNumbers) gutter.style.display = "none";
-
-        // Check for problem with IE innerHTML not working when we have a
-        // P (or similar) parent node.
-        try { stringWidth("x"); }
-        catch (e) {
-            if (e.message.match(/runtime/i))
-                e = new Error("A CodeMirror inside a P-style element does not work in Internet Explorer. (innerHTML bug)");
-            throw e;
-        }
-
-        // Delayed object wrap timeouts, making sure only one is active. blinker holds an interval.
-        var poll = new Delayed(), highlight = new Delayed(), blinker;
-
-        // mode holds a mode API object. doc is the tree of Line objects,
-        // work an array of lines that should be parsed, and history the
-        // undo history (instance of History constructor).
-        var mode, doc = new BranchChunk([new LeafChunk([new Line("")])]), work, focused;
-        loadMode();
-        // The selection. These are always maintained to point at valid
-        // positions. Inverted is used to remember that the user is
-        // selecting bottom-to-top.
-        var sel = {from: {line: 0, ch: 0}, to: {line: 0, ch: 0}, inverted: false};
-        // Selection-related flags. shiftSelecting obviously tracks
-        // whether the user is holding shift.
-        var shiftSelecting, lastClick, lastDoubleClick, draggingText, overwrite = false;
-        // Variables used by startOperation/endOperation to track what
-        // happened during the operation.
-        var updateInput, userSelChange, changes, textChanged, selectionChanged, leaveInputAlone,
-            gutterDirty, callbacks;
-        // Current visible range (may be bigger than the view window).
-        var displayOffset = 0, showingFrom = 0, showingTo = 0, lastSizeC = 0;
-        // bracketHighlighted is used to remember that a backet has been
-        // marked.
-        var bracketHighlighted;
-        // Tracks the maximum line length so that the horizontal scrollbar
-        // can be kept static when scrolling.
-        var maxLine = "", maxWidth, tabText = computeTabText();
-
-        // Initialize the content.
-        operation(function(){setValue(options.value || ""); updateInput = false;})();
-        var history = new History();
-
-        // Register our event handlers.
-        connect(scroller, "mousedown", operation(onMouseDown));
-        connect(scroller, "dblclick", operation(onDoubleClick));
-        connect(lineSpace, "dragstart", onDragStart);
-        connect(lineSpace, "selectstart", e_preventDefault);
-        // Gecko browsers fire contextmenu *after* opening the menu, at
-        // which point we can't mess with it anymore. Context menu is
-        // handled in onMouseDown for Gecko.
-        if (!gecko) connect(scroller, "contextmenu", onContextMenu);
-        connect(scroller, "scroll", function() {
-            updateDisplay([]);
-            if (options.fixedGutter) gutter.style.left = scroller.scrollLeft + "px";
-            if (options.onScroll) options.onScroll(instance);
-        });
-        connect(window, "resize", function() {updateDisplay(true);});
-        connect(input, "keyup", operation(onKeyUp));
-        connect(input, "input", fastPoll);
-        connect(input, "keydown", operation(onKeyDown));
-        connect(input, "keypress", operation(onKeyPress));
-        connect(input, "focus", onFocus);
-        connect(input, "blur", onBlur);
-
-        connect(scroller, "dragenter", e_stop);
-        connect(scroller, "dragover", e_stop);
-        connect(scroller, "drop", operation(onDrop));
-        connect(scroller, "paste", function(){focusInput(); fastPoll();});
-        connect(input, "paste", fastPoll);
-        connect(input, "cut", operation(function(){replaceSelection("");}));
-
-        // IE throws unspecified error in certain cases, when
-        // trying to access activeElement before onload
-        var hasFocus; try { hasFocus = (targetDocument.activeElement == input); } catch(e) { }
-        if (hasFocus) setTimeout(onFocus, 20);
-        else onBlur();
-
-        function isLine(l) {return l >= 0 && l < doc.size;}
-        // The instance object that we'll return. Mostly calls out to
-        // local functions in the CodeMirror function. Some do some extra
-        // range checking and/or clipping. operation is used to wrap the
-        // call so that changes it makes are tracked, and the display is
-        // updated afterwards.
-        var instance = wrapper.CodeMirror = {
-            getValue: getValue,
-            setValue: operation(setValue),
-            getSelection: getSelection,
-            replaceSelection: operation(replaceSelection),
-            focus: function(){focusInput(); onFocus(); fastPoll();},
-            setOption: function(option, value) {
-                var oldVal = options[option];
-                options[option] = value;
-                if (option == "mode" || option == "indentUnit") loadMode();
-                else if (option == "readOnly" && value) {onBlur(); input.blur();}
-                else if (option == "theme") themeChanged();
-                else if (option == "lineWrapping" && oldVal != value) operation(wrappingChanged)();
-                else if (option == "tabSize") operation(tabsChanged)();
-                if (option == "lineNumbers" || option == "gutter" || option == "firstLineNumber" || option == "theme")
-                    operation(gutterChanged)();
-            },
-            getOption: function(option) {return options[option];},
-            undo: operation(undo),
-            redo: operation(redo),
-            indentLine: operation(function(n, dir) {
-                if (isLine(n)) indentLine(n, dir == null ? "smart" : dir ? "add" : "subtract");
-            }),
-            indentSelection: operation(indentSelected),
-            historySize: function() {return {undo: history.done.length, redo: history.undone.length};},
-            clearHistory: function() {history = new History();},
-            matchBrackets: operation(function(){matchBrackets(true);}),
-            getTokenAt: operation(function(pos) {
-                pos = clipPos(pos);
-                return getLine(pos.line).getTokenAt(mode, getStateBefore(pos.line), pos.ch);
-            }),
-            getStateAfter: function(line) {
-                line = clipLine(line == null ? doc.size - 1: line);
-                return getStateBefore(line + 1);
-            },
-            cursorCoords: function(start){
-                if (start == null) start = sel.inverted;
-                return pageCoords(start ? sel.from : sel.to);
-            },
-            charCoords: function(pos){return pageCoords(clipPos(pos));},
-            coordsChar: function(coords) {
-                var off = eltOffset(lineSpace);
-                return coordsChar(coords.x - off.left, coords.y - off.top);
-            },
-            markText: operation(markText),
-            setBookmark: setBookmark,
-            setMarker: operation(addGutterMarker),
-            clearMarker: operation(removeGutterMarker),
-            setLineClass: operation(setLineClass),
-            hideLine: operation(function(h) {return setLineHidden(h, true);}),
-            showLine: operation(function(h) {return setLineHidden(h, false);}),
-            onDeleteLine: function(line, f) {
-                if (typeof line == "number") {
-                    if (!isLine(line)) return null;
-                    line = getLine(line);
-                }
-                (line.handlers || (line.handlers = [])).push(f);
-                return line;
-            },
-            lineInfo: lineInfo,
-            addWidget: function(pos, node, scroll, vert, horiz) {
-                pos = localCoords(clipPos(pos));
-                var top = pos.yBot, left = pos.x;
-                node.style.position = "absolute";
-                code.appendChild(node);
-                if (vert == "over") top = pos.y;
-                else if (vert == "near") {
-                    var vspace = Math.max(scroller.offsetHeight, doc.height * textHeight()),
-                        hspace = Math.max(code.clientWidth, lineSpace.clientWidth) - paddingLeft();
-                    if (pos.yBot + node.offsetHeight > vspace && pos.y > node.offsetHeight)
-                        top = pos.y - node.offsetHeight;
-                    if (left + node.offsetWidth > hspace)
-                        left = hspace - node.offsetWidth;
-                }
-                node.style.top = (top + paddingTop()) + "px";
-                node.style.left = node.style.right = "";
-                if (horiz == "right") {
-                    left = code.clientWidth - node.offsetWidth;
-                    node.style.right = "0px";
-                } else {
-                    if (horiz == "left") left = 0;
-                    else if (horiz == "middle") left = (code.clientWidth - node.offsetWidth) / 2;
-                    node.style.left = (left + paddingLeft()) + "px";
-                }
-                if (scroll)
-                    scrollIntoView(left, top, left + node.offsetWidth, top + node.offsetHeight);
-            },
-
-            lineCount: function() {return doc.size;},
-            clipPos: clipPos,
-            getCursor: function(start) {
-                if (start == null) start = sel.inverted;
-                return copyPos(start ? sel.from : sel.to);
-            },
-            somethingSelected: function() {return !posEq(sel.from, sel.to);},
-            setCursor: operation(function(line, ch, user) {
-                if (ch == null && typeof line.line == "number") setCursor(line.line, line.ch, user);
-                else setCursor(line, ch, user);
-            }),
-            setSelection: operation(function(from, to, user) {
-                (user ? setSelectionUser : setSelection)(clipPos(from), clipPos(to || from));
-            }),
-            getLine: function(line) {if (isLine(line)) return getLine(line).text;},
-            getLineHandle: function(line) {if (isLine(line)) return getLine(line);},
-            setLine: operation(function(line, text) {
-                if (isLine(line)) replaceRange(text, {line: line, ch: 0}, {line: line, ch: getLine(line).text.length});
-            }),
-            removeLine: operation(function(line) {
-                if (isLine(line)) replaceRange("", {line: line, ch: 0}, clipPos({line: line+1, ch: 0}));
-            }),
-            replaceRange: operation(replaceRange),
-            getRange: function(from, to) {return getRange(clipPos(from), clipPos(to));},
-
-            execCommand: function(cmd) {return commands[cmd](instance);},
-            // Stuff used by commands, probably not much use to outside code.
-            moveH: operation(moveH),
-            deleteH: operation(deleteH),
-            moveV: operation(moveV),
-            toggleOverwrite: function() {overwrite = !overwrite;},
-
-            posFromIndex: function(off) {
-                var lineNo = 0, ch;
-                doc.iter(0, doc.size, function(line) {
-                    var sz = line.text.length + 1;
-                    if (sz > off) { ch = off; return true; }
-                    off -= sz;
-                    ++lineNo;
-                });
-                return clipPos({line: lineNo, ch: ch});
-            },
-            indexFromPos: function (coords) {
-                if (coords.line < 0 || coords.ch < 0) return 0;
-                var index = coords.ch;
-                doc.iter(0, coords.line, function (line) {
-                    index += line.text.length + 1;
-                });
-                return index;
-            },
-
-            operation: function(f){return operation(f)();},
-            refresh: function(){updateDisplay(true);},
-            getInputField: function(){return input;},
-            getWrapperElement: function(){return wrapper;},
-            getScrollerElement: function(){return scroller;},
-            getGutterElement: function(){return gutter;}
-        };
-
-        function getLine(n) { return getLineAt(doc, n); }
-        function updateLineHeight(line, height) {
-            gutterDirty = true;
-            var diff = height - line.height;
-            for (var n = line; n; n = n.parent) n.height += diff;
-        }
-
-        function setValue(code) {
-            var top = {line: 0, ch: 0};
-            updateLines(top, {line: doc.size - 1, ch: getLine(doc.size-1).text.length},
-                splitLines(code), top, top);
-            updateInput = true;
-        }
-        function getValue(code) {
-            var text = [];
-            doc.iter(0, doc.size, function(line) { text.push(line.text); });
-            return text.join("\n");
-        }
-
-        function onMouseDown(e) {
-            setShift(e.shiftKey);
-            // Check whether this is a click in a widget
-            for (var n = e_target(e); n != wrapper; n = n.parentNode)
-                if (n.parentNode == code && n != mover) return;
-
-            // See if this is a click in the gutter
-            for (var n = e_target(e); n != wrapper; n = n.parentNode)
-                if (n.parentNode == gutterText) {
-                    if (options.onGutterClick)
-                        options.onGutterClick(instance, indexOf(gutterText.childNodes, n) + showingFrom, e);
-                    return e_preventDefault(e);
-                }
-
-            var start = posFromMouse(e);
-
-            switch (e_button(e)) {
-                case 3:
-                    if (gecko && !mac) onContextMenu(e);
-                    return;
-                case 2:
-                    if (start) setCursor(start.line, start.ch, true);
-                    return;
-            }
-            // For button 1, if it was clicked inside the editor
-            // (posFromMouse returning non-null), we have to adjust the
-            // selection.
-            if (!start) {if (e_target(e) == scroller) e_preventDefault(e); return;}
-
-            if (!focused) onFocus();
-
-            var now = +new Date;
-            if (lastDoubleClick && lastDoubleClick.time > now - 400 && posEq(lastDoubleClick.pos, start)) {
-                e_preventDefault(e);
-                setTimeout(focusInput, 20);
-                return selectLine(start.line);
-            } else if (lastClick && lastClick.time > now - 400 && posEq(lastClick.pos, start)) {
-                lastDoubleClick = {time: now, pos: start};
-                e_preventDefault(e);
-                return selectWordAt(start);
-            } else { lastClick = {time: now, pos: start}; }
-
-            var last = start, going;
-            if (dragAndDrop && !posEq(sel.from, sel.to) &&
-                !posLess(start, sel.from) && !posLess(sel.to, start)) {
-                // Let the drag handler handle this.
-                if (webkit) lineSpace.draggable = true;
-                var up = connect(targetDocument, "mouseup", operation(function(e2) {
-                    if (webkit) lineSpace.draggable = false;
-                    draggingText = false;
-                    up();
-                    if (Math.abs(e.clientX - e2.clientX) + Math.abs(e.clientY - e2.clientY) < 10) {
-                        e_preventDefault(e2);
-                        setCursor(start.line, start.ch, true);
-                        focusInput();
-                    }
-                }), true);
-                draggingText = true;
-                return;
-            }
-            e_preventDefault(e);
-            setCursor(start.line, start.ch, true);
-
-            function extend(e) {
-                var cur = posFromMouse(e, true);
-                if (cur && !posEq(cur, last)) {
-                    if (!focused) onFocus();
-                    last = cur;
-                    setSelectionUser(start, cur);
-                    updateInput = false;
-                    var visible = visibleLines();
-                    if (cur.line >= visible.to || cur.line < visible.from)
-                        going = setTimeout(operation(function(){extend(e);}), 150);
-                }
-            }
-
-            var move = connect(targetDocument, "mousemove", operation(function(e) {
-                clearTimeout(going);
-                e_preventDefault(e);
-                extend(e);
-            }), true);
-            var up = connect(targetDocument, "mouseup", operation(function(e) {
-                clearTimeout(going);
-                var cur = posFromMouse(e);
-                if (cur) setSelectionUser(start, cur);
-                e_preventDefault(e);
-                focusInput();
-                updateInput = true;
-                move(); up();
-            }), true);
-        }
-        function onDoubleClick(e) {
-            for (var n = e_target(e); n != wrapper; n = n.parentNode)
-                if (n.parentNode == gutterText) return e_preventDefault(e);
-            var start = posFromMouse(e);
-            if (!start) return;
-            lastDoubleClick = {time: +new Date, pos: start};
-            e_preventDefault(e);
-            selectWordAt(start);
-        }
-        function onDrop(e) {
-            e.preventDefault();
-            var pos = posFromMouse(e, true), files = e.dataTransfer.files;
-            if (!pos || options.readOnly) return;
-            if (files && files.length && window.FileReader && window.File) {
-                function loadFile(file, i) {
-                    var reader = new FileReader;
-                    reader.onload = function() {
-                        text[i] = reader.result;
-                        if (++read == n) {
-                            pos = clipPos(pos);
-                            operation(function() {
-                                var end = replaceRange(text.join(""), pos, pos);
-                                setSelectionUser(pos, end);
-                            })();
-                        }
-                    };
-                    reader.readAsText(file);
-                }
-                var n = files.length, text = Array(n), read = 0;
-                for (var i = 0; i < n; ++i) loadFile(files[i], i);
-            }
-            else {
-                try {
-                    var text = e.dataTransfer.getData("Text");
-                    if (text) {
-                        var end = replaceRange(text, pos, pos);
-                        var curFrom = sel.from, curTo = sel.to;
-                        setSelectionUser(pos, end);
-                        if (draggingText) replaceRange("", curFrom, curTo);
-                        focusInput();
-                    }
-                }
-                catch(e){}
-            }
-        }
-        function onDragStart(e) {
-            var txt = getSelection();
-            // This will reset escapeElement
-            htmlEscape(txt);
-            e.dataTransfer.setDragImage(escapeElement, 0, 0);
-            e.dataTransfer.setData("Text", txt);
-        }
-        function handleKeyBinding(e) {
-            var name = keyNames[e.keyCode], next = keyMap[options.keyMap].auto, bound, dropShift;
-            if (name == null || e.altGraphKey) {
-                if (next) options.keyMap = next;
-                return null;
-            }
-            if (e.altKey) name = "Alt-" + name;
-            if (e.ctrlKey) name = "Ctrl-" + name;
-            if (e.metaKey) name = "Cmd-" + name;
-            if (e.shiftKey && (bound = lookupKey("Shift-" + name, options.extraKeys, options.keyMap))) {
-                dropShift = true;
-            } else {
-                bound = lookupKey(name, options.extraKeys, options.keyMap);
-            }
-            if (typeof bound == "string") {
-                if (commands.propertyIsEnumerable(bound)) bound = commands[bound];
-                else bound = null;
-            }
-            if (next && (bound || !isModifierKey(e))) options.keyMap = next;
-            if (!bound) return false;
-            if (dropShift) {
-                var prevShift = shiftSelecting;
-                shiftSelecting = null;
-                bound(instance);
-                shiftSelecting = prevShift;
-            } else bound(instance);
-            e_preventDefault(e);
-            return true;
-        }
-        var lastStoppedKey = null;
-        function onKeyDown(e) {
-            if (!focused) onFocus();
-            var code = e.keyCode;
-            // IE does strange things with escape.
-            if (ie && code == 27) { e.returnValue = false; }
-            setShift(code == 16 || e.shiftKey);
-            // First give onKeyEvent option a chance to handle this.
-            if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
-            var handled = handleKeyBinding(e);
-            if (window.opera) {
-                lastStoppedKey = handled ? e.keyCode : null;
-                // Opera has no cut event... we try to at least catch the key combo
-                if (!handled && (mac ? e.metaKey : e.ctrlKey) && e.keyCode == 88)
-                    replaceSelection("");
-            }
-        }
-        function onKeyPress(e) {
-            if (window.opera && e.keyCode == lastStoppedKey) {lastStoppedKey = null; e_preventDefault(e); return;}
-            if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
-            if (window.opera && !e.which && handleKeyBinding(e)) return;
-            if (options.electricChars && mode.electricChars) {
-                var ch = String.fromCharCode(e.charCode == null ? e.keyCode : e.charCode);
-                if (mode.electricChars.indexOf(ch) > -1)
-                    setTimeout(operation(function() {indentLine(sel.to.line, "smart");}), 75);
-            }
-            fastPoll();
-        }
-        function onKeyUp(e) {
-            if (options.onKeyEvent && options.onKeyEvent(instance, addStop(e))) return;
-            if (e.keyCode == 16) shiftSelecting = null;
-        }
-
-        function onFocus() {
-            if (options.readOnly) return;
-            if (!focused) {
-                if (options.onFocus) options.onFocus(instance);
-                focused = true;
-                if (wrapper.className.search(/\bCodeMirror-focused\b/) == -1)
-                    wrapper.className += " CodeMirror-focused";
-                if (!leaveInputAlone) resetInput(true);
-            }
-            slowPoll();
-            restartBlink();
-        }
-        function onBlur() {
-            if (focused) {
-                if (options.onBlur) options.onBlur(instance);
-                focused = false;
-                wrapper.className = wrapper.className.replace(" CodeMirror-focused", "");
-            }
-            clearInterval(blinker);
-            setTimeout(function() {if (!focused) shiftSelecting = null;}, 150);
-        }
-
-        // Replace the range from from to to by the strings in newText.
-        // Afterwards, set the selection to selFrom, selTo.
-        function updateLines(from, to, newText, selFrom, selTo) {
-            if (history) {
-                var old = [];
-                doc.iter(from.line, to.line + 1, function(line) { old.push(line.text); });
-                history.addChange(from.line, newText.length, old);
-                while (history.done.length > options.undoDepth) history.done.shift();
-            }
-            updateLinesNoUndo(from, to, newText, selFrom, selTo);
-        }
-        function unredoHelper(from, to) {
-            var change = from.pop();
-            if (change) {
-                var replaced = [], end = change.start + change.added;
-                doc.iter(change.start, end, function(line) { replaced.push(line.text); });
-                to.push({start: change.start, added: change.old.length, old: replaced});
-                var pos = clipPos({line: change.start + change.old.length - 1,
-                    ch: editEnd(replaced[replaced.length-1], change.old[change.old.length-1])});
-                updateLinesNoUndo({line: change.start, ch: 0}, {line: end - 1, ch: getLine(end-1).text.length}, change.old, pos, pos);
-                updateInput = true;
-            }
-        }
-        function undo() {unredoHelper(history.done, history.undone);}
-        function redo() {unredoHelper(history.undone, history.done);}
-
-        function updateLinesNoUndo(from, to, newText, selFrom, selTo) {
-            var recomputeMaxLength = false, maxLineLength = maxLine.length;
-            if (!options.lineWrapping)
-                doc.iter(from.line, to.line, function(line) {
-                    if (line.text.length == maxLineLength) {recomputeMaxLength = true; return true;}
-                });
-            if (from.line != to.line || newText.length > 1) gutterDirty = true;
-
-            var nlines = to.line - from.line, firstLine = getLine(from.line), lastLine = getLine(to.line);
-            // First adjust the line structure, taking some care to leave highlighting intact.
-            if (from.ch == 0 && to.ch == 0 && newText[newText.length - 1] == "") {
-                // This is a whole-line replace. Treated specially to make
-                // sure line objects move the way they are supposed to.
-                var added = [], prevLine = null;
-                if (from.line) {
-                    prevLine = getLine(from.line - 1);
-                    prevLine.fixMarkEnds(lastLine);
-                } else lastLine.fixMarkStarts();
-                for (var i = 0, e = newText.length - 1; i < e; ++i)
-                    added.push(Line.inheritMarks(newText[i], prevLine));
-                if (nlines) doc.remove(from.line, nlines, callbacks);
-                if (added.length) doc.insert(from.line, added);
-            } else if (firstLine == lastLine) {
-                if (newText.length == 1)
-                    firstLine.replace(from.ch, to.ch, newText[0]);
-                else {
-                    lastLine = firstLine.split(to.ch, newText[newText.length-1]);
-                    firstLine.replace(from.ch, null, newText[0]);
-                    firstLine.fixMarkEnds(lastLine);
-                    var added = [];
-                    for (var i = 1, e = newText.length - 1; i < e; ++i)
-                        added.push(Line.inheritMarks(newText[i], firstLine));
-                    added.push(lastLine);
-                    doc.insert(from.line + 1, added);
-                }
-            } else if (newText.length == 1) {
-                firstLine.replace(from.ch, null, newText[0]);
-                lastLine.replace(null, to.ch, "");
-                firstLine.append(lastLine);
-                doc.remove(from.line + 1, nlines, callbacks);
-            } else {
-                var added = [];
-                firstLine.replace(from.ch, null, newText[0]);
-                lastLine.replace(null, to.ch, newText[newText.length-1]);
-                firstLine.fixMarkEnds(lastLine);
-                for (var i = 1, e = newText.length - 1; i < e; ++i)
-                    added.push(Line.inheritMarks(newText[i], firstLine));
-                if (nlines > 1) doc.remove(from.line + 1, nlines - 1, callbacks);
-                doc.insert(from.line + 1, added);
-            }
-            if (options.lineWrapping) {
-                var perLine = scroller.clientWidth / charWidth() - 3;
-                doc.iter(from.line, from.line + newText.length, function(line) {
-                    if (line.hidden) return;
-                    var guess = Math.ceil(line.text.length / perLine) || 1;
-                    if (guess != line.height) updateLineHeight(line, guess);
-                });
-            } else {
-                doc.iter(from.line, i + newText.length, function(line) {
-                    var l = line.text;
-                    if (l.length > maxLineLength) {
-                        maxLine = l; maxLineLength = l.length; maxWidth = null;
-                        recomputeMaxLength = false;
-                    }
-                });
-                if (recomputeMaxLength) {
-                    maxLineLength = 0; maxLine = ""; maxWidth = null;
-                    doc.iter(0, doc.size, function(line) {
-                        var l = line.text;
-                        if (l.length > maxLineLength) {
-                            maxLineLength = l.length; maxLine = l;
-                        }
-                    });
-                }
-            }
-
-            // Add these lines to the work array, so that they will be
-            // highlighted. Adjust work lines if lines were added/removed.
-            var newWork = [], lendiff = newText.length - nlines - 1;
-            for (var i = 0, l = work.length; i < l; ++i) {
-                var task = work[i];
-                if (task < from.line) newWork.push(task);
-                else if (task > to.line) newWork.push(task + lendiff);
-            }
-            var hlEnd = from.line + Math.min(newText.length, 500);
-            highlightLines(from.line, hlEnd);
-            newWork.push(hlEnd);
-            work = newWork;
-            startWorker(100);
-            // Remember that these lines changed, for updating the display
-            changes.push({from: from.line, to: to.line + 1, diff: lendiff});
-            var changeObj = {from: from, to: to, text: newText};
-            if (textChanged) {
-                for (var cur = textChanged; cur.next; cur = cur.next) {}
-                cur.next = changeObj;
-            } else textChanged = changeObj;
-
-            // Update the selection
-            function updateLine(n) {return n <= Math.min(to.line, to.line + lendiff) ? n : n + lendiff;}
-            setSelection(selFrom, selTo, updateLine(sel.from.line), updateLine(sel.to.line));
-
-            // Make sure the scroll-size div has the correct height.
-            code.style.height = (doc.height * textHeight() + 2 * paddingTop()) + "px";
-        }
-
-        function replaceRange(code, from, to) {
-            from = clipPos(from);
-            if (!to) to = from; else to = clipPos(to);
-            code = splitLines(code);
-            function adjustPos(pos) {
-                if (posLess(pos, from)) return pos;
-                if (!posLess(to, pos)) return end;
-                var line = pos.line + code.length - (to.line - from.line) - 1;
-                var ch = pos.ch;
-                if (pos.line == to.line)
-                    ch += code[code.length-1].length - (to.ch - (to.line == from.line ? from.ch : 0));
-                return {line: line, ch: ch};
-            }
-            var end;
-            replaceRange1(code, from, to, function(end1) {
-                end = end1;
-                return {from: adjustPos(sel.from), to: adjustPos(sel.to)};
-            });
-            return end;
-        }
-        function replaceSelection(code, collapse) {
-            replaceRange1(splitLines(code), sel.from, sel.to, function(end) {
-                if (collapse == "end") return {from: end, to: end};
-                else if (collapse == "start") return {from: sel.from, to: sel.from};
-                else return {from: sel.from, to: end};
-            });
-        }
-        function replaceRange1(code, from, to, computeSel) {
-            var endch = code.length == 1 ? code[0].length + from.ch : code[code.length-1].length;
-            var newSel = computeSel({line: from.line + code.length - 1, ch: endch});
-            updateLines(from, to, code, newSel.from, newSel.to);
-        }
-
-        function getRange(from, to) {
-            var l1 = from.line, l2 = to.line;
-            if (l1 == l2) return getLine(l1).text.slice(from.ch, to.ch);
-            var code = [getLine(l1).text.slice(from.ch)];
-            doc.iter(l1 + 1, l2, function(line) { code.push(line.text); });
-            code.push(getLine(l2).text.slice(0, to.ch));
-            return code.join("\n");
-        }
-        function getSelection() {
-            return getRange(sel.from, sel.to);
-        }
-
-        var pollingFast = false; // Ensures slowPoll doesn't cancel fastPoll
-        function slowPoll() {
-            if (pollingFast) return;
-            poll.set(options.pollInterval, function() {
-                startOperation();
-                readInput();
-                if (focused) slowPoll();
-                endOperation();
-            });
-        }
-        function fastPoll() {
-            var missed = false;
-            pollingFast = true;
-            function p() {
-                startOperation();
-                var changed = readInput();
-                if (!changed && !missed) {missed = true; poll.set(60, p);}
-                else {pollingFast = false; slowPoll();}
-                endOperation();
-            }
-            poll.set(20, p);
-        }
-
-        // Previnput is a hack to work with IME. If we reset the textarea
-        // on every change, that breaks IME. So we look for changes
-        // compared to the previous content instead. (Modern browsers have
-        // events that indicate IME taking place, but these are not widely
-        // supported or compatible enough yet to rely on.)
-        var prevInput = "";
-        function readInput() {
-            if (leaveInputAlone || !focused || hasSelection(input)) return false;
-            var text = input.value;
-            if (text == prevInput) return false;
-            shiftSelecting = null;
-            var same = 0, l = Math.min(prevInput.length, text.length);
-            while (same < l && prevInput[same] == text[same]) ++same;
-            if (same < prevInput.length)
-                sel.from = {line: sel.from.line, ch: sel.from.ch - (prevInput.length - same)};
-            else if (overwrite && posEq(sel.from, sel.to))
-                sel.to = {line: sel.to.line, ch: Math.min(getLine(sel.to.line).text.length, sel.to.ch + (text.length - same))};
-            replaceSelection(text.slice(same), "end");
-            prevInput = text;
-            return true;
-        }
-        function resetInput(user) {
-            if (!posEq(sel.from, sel.to)) {
-                prevInput = "";
-                input.value = getSelection();
-                input.select();
-            } else if (user) prevInput = input.value = "";
-        }
-
-        function focusInput() {
-            if (!options.readOnly) input.focus();
-        }
-
-        function scrollEditorIntoView() {
-            if (!cursor.getBoundingClientRect) return;
-            var rect = cursor.getBoundingClientRect();
-            // IE returns bogus coordinates when the instance sits inside of an iframe and the cursor is hidden
-            if (ie && rect.top == rect.bottom) return;
-            var winH = window.innerHeight || Math.max(document.body.offsetHeight, document.documentElement.offsetHeight);
-            if (rect.top < 0 || rect.bottom > winH) cursor.scrollIntoView();
-        }
-        function scrollCursorIntoView() {
-            var cursor = localCoords(sel.inverted ? sel.from : sel.to);
-            var x = options.lineWrapping ? Math.min(cursor.x, lineSpace.offsetWidth) : cursor.x;
-            return scrollIntoView(x, cursor.y, x, cursor.yBot);
-        }
-        function scrollIntoView(x1, y1, x2, y2) {
-            var pl = paddingLeft(), pt = paddingTop(), lh = textHeight();
-            y1 += pt; y2 += pt; x1 += pl; x2 += pl;
-            var screen = scroller.clientHeight, screentop = scroller.scrollTop, scrolled = false, result = true;
-            if (y1 < screentop) {scroller.scrollTop = Math.max(0, y1 - 2*lh); scrolled = true;}
-            else if (y2 > screentop + screen) {scroller.scrollTop = y2 + lh - screen; scrolled = true;}
-
-            var screenw = scroller.clientWidth, screenleft = scroller.scrollLeft;
-            var gutterw = options.fixedGutter ? gutter.clientWidth : 0;
-            if (x1 < screenleft + gutterw) {
-                if (x1 < 50) x1 = 0;
-                scroller.scrollLeft = Math.max(0, x1 - 10 - gutterw);
-                scrolled = true;
-            }
-            else if (x2 > screenw + screenleft - 3) {
-                scroller.scrollLeft = x2 + 10 - screenw;
-                scrolled = true;
-                if (x2 > code.clientWidth) result = false;
-            }
-            if (scrolled && options.onScroll) options.onScroll(instance);
-            return result;
-        }
-
-        function visibleLines() {
-            var lh = textHeight(), top = scroller.scrollTop - paddingTop();
-            var from_height = Math.max(0, Math.floor(top / lh));
-            var to_height = Math.ceil((top + scroller.clientHeight) / lh);
-            return {from: lineAtHeight(doc, from_height),
-                to: lineAtHeight(doc, to_height)};
-        }
-        // Uses a set of changes plus the current scroll position to
-        // determine which DOM updates have to be made, and makes the
-        // updates.
-        function updateDisplay(changes, suppressCallback) {
-            if (!scroller.clientWidth) {
-                showingFrom = showingTo = displayOffset = 0;
-                return;
-            }
-            // Compute the new visible window
-            var visible = visibleLines();
-            // Bail out if the visible area is already rendered and nothing changed.
-            if (changes !== true && changes.length == 0 && visible.from >= showingFrom && visible.to <= showingTo) return;
-            var from = Math.max(visible.from - 100, 0), to = Math.min(doc.size, visible.to + 100);
-            if (showingFrom < from && from - showingFrom < 20) from = showingFrom;
-            if (showingTo > to && showingTo - to < 20) to = Math.min(doc.size, showingTo);
-
-            // Create a range of theoretically intact lines, and punch holes
-            // in that using the change info.
-            var intact = changes === true ? [] :
-                computeIntact([{from: showingFrom, to: showingTo, domStart: 0}], changes);
-            // Clip off the parts that won't be visible
-            var intactLines = 0;
-            for (var i = 0; i < intact.length; ++i) {
-                var range = intact[i];
-                if (range.from < from) {range.domStart += (from - range.from); range.from = from;}
-                if (range.to > to) range.to = to;
-                if (range.from >= range.to) intact.splice(i--, 1);
-                else intactLines += range.to - range.from;
-            }
-            if (intactLines == to - from) return;
-            intact.sort(function(a, b) {return a.domStart - b.domStart;});
-
-            var th = textHeight(), gutterDisplay = gutter.style.display;
-            lineDiv.style.display = gutter.style.display = "none";
-            patchDisplay(from, to, intact);
-            lineDiv.style.display = "";
-
-            // Position the mover div to align with the lines it's supposed
-            // to be showing (which will cover the visible display)
-            var different = from != showingFrom || to != showingTo || lastSizeC != scroller.clientHeight + th;
-            // This is just a bogus formula that detects when the editor is
-            // resized or the font size changes.
-            if (different) lastSizeC = scroller.clientHeight + th;
-            showingFrom = from; showingTo = to;
-            displayOffset = heightAtLine(doc, from);
-            mover.style.top = (displayOffset * th) + "px";
-            code.style.height = (doc.height * th + 2 * paddingTop()) + "px";
-
-            // Since this is all rather error prone, it is honoured with the
-            // only assertion in the whole file.
-            if (lineDiv.childNodes.length != showingTo - showingFrom)
-                throw new Error("BAD PATCH! " + JSON.stringify(intact) + " size=" + (showingTo - showingFrom) +
-                    " nodes=" + lineDiv.childNodes.length);
-
-            if (options.lineWrapping) {
-                maxWidth = scroller.clientWidth;
-                var curNode = lineDiv.firstChild;
-                doc.iter(showingFrom, showingTo, function(line) {
-                    if (!line.hidden) {
-                        var height = Math.round(curNode.offsetHeight / th) || 1;
-                        if (line.height != height) {updateLineHeight(line, height); gutterDirty = true;}
-                    }
-                    curNode = curNode.nextSibling;
-                });
-            } else {
-                if (maxWidth == null) maxWidth = stringWidth(maxLine);
-                if (maxWidth > scroller.clientWidth) {
-                    lineSpace.style.width = maxWidth + "px";
-                    // Needed to prevent odd wrapping/hiding of widgets placed in here.
-                    code.style.width = "";
-                    code.style.width = scroller.scrollWidth + "px";
-                } else {
-                    lineSpace.style.width = code.style.width = "";
-                }
-            }
-            gutter.style.display = gutterDisplay;
-            if (different || gutterDirty) updateGutter();
-            updateCursor();
-            if (!suppressCallback && options.onUpdate) options.onUpdate(instance);
-            return true;
-        }
-
-        function computeIntact(intact, changes) {
-            for (var i = 0, l = changes.length || 0; i < l; ++i) {
-                var change = changes[i], intact2 = [], diff = change.diff || 0;
-                for (var j = 0, l2 = intact.length; j < l2; ++j) {
-                    var range = intact[j];
-                    if (change.to <= range.from && change.diff)
-                        intact2.push({from: range.from + diff, to: range.to + diff,
-                            domStart: range.domStart});
-                    else if (change.to <= range.from || change.from >= range.to)
-                        intact2.push(range);
-                    else {
-                        if (change.from > range.from)
-                            intact2.push({from: range.from, to: change.from, domStart: range.domStart});
-                        if (change.to < range.to)
-                            intact2.push({from: change.to + diff, to: range.to + diff,
-                                domStart: range.domStart + (change.to - range.from)});
-                    }
-                }
-                intact = intact2;
-            }
-            return intact;
-        }
-
-        function patchDisplay(from, to, intact) {
-            // The first pass removes the DOM nodes that aren't intact.
-            if (!intact.length) lineDiv.innerHTML = "";
-            else {
-                function killNode(node) {
-                    var tmp = node.nextSibling;
-                    node.parentNode.removeChild(node);
-                    return tmp;
-                }
-                var domPos = 0, curNode = lineDiv.firstChild, n;
-                for (var i = 0; i < intact.length; ++i) {
-                    var cur = intact[i];
-                    while (cur.domStart > domPos) {curNode = killNode(curNode); domPos++;}
-                    for (var j = 0, e = cur.to - cur.from; j < e; ++j) {curNode = curNode.nextSibling; domPos++;}
-                }
-                while (curNode) curNode = killNode(curNode);
-            }
-            // This pass fills in the lines that actually changed.
-            var nextIntact = intact.shift(), curNode = lineDiv.firstChild, j = from;
-            var sfrom = sel.from.line, sto = sel.to.line, inSel = sfrom < from && sto >= from;
-            var scratch = targetDocument.createElement("div"), newElt;
-            doc.iter(from, to, function(line) {
-                var ch1 = null, ch2 = null;
-                if (inSel) {
-                    ch1 = 0;
-                    if (sto == j) {inSel = false; ch2 = sel.to.ch;}
-                } else if (sfrom == j) {
-                    if (sto == j) {ch1 = sel.from.ch; ch2 = sel.to.ch;}
-                    else {inSel = true; ch1 = sel.from.ch;}
-                }
-                if (nextIntact && nextIntact.to == j) nextIntact = intact.shift();
-                if (!nextIntact || nextIntact.from > j) {
-                    if (line.hidden) scratch.innerHTML = "<pre></pre>";
-                    else scratch.innerHTML = line.getHTML(ch1, ch2, true, tabText);
-                    lineDiv.insertBefore(scratch.firstChild, curNode);
-                } else {
-                    curNode = curNode.nextSibling;
-                }
-                ++j;
-            });
-        }
-
-        function updateGutter() {
-            if (!options.gutter && !options.lineNumbers) return;
-            var hText = mover.offsetHeight, hEditor = scroller.clientHeight;
-            gutter.style.height = (hText - hEditor < 2 ? hEditor : hText) + "px";
-            var html = [], i = showingFrom;
-            doc.iter(showingFrom, Math.max(showingTo, showingFrom + 1), function(line) {
-                if (line.hidden) {
-                    html.push("<pre></pre>");
-                } else {
-                    var marker = line.gutterMarker;
-                    var text = options.lineNumbers ? i + options.firstLineNumber : null;
-                    if (marker && marker.text)
-                        text = marker.text.replace("%N%", text != null ? text : "");
-                    else if (text == null)
-                        text = "\u00a0";
-                    html.push((marker && marker.style ? '<pre class="' + marker.style + '">' : "<pre>"), text);
-                    for (var j = 1; j < line.height; ++j) html.push("<br/>&#160;");
-                    html.push("</pre>");
-                }
-                ++i;
-            });
-            gutter.style.display = "none";
-            gutterText.innerHTML = html.join("");
-            var minwidth = String(doc.size).length, firstNode = gutterText.firstChild, val = eltText(firstNode), pad = "";
-            while (val.length + pad.length < minwidth) pad += "\u00a0";
-            if (pad) firstNode.insertBefore(targetDocument.createTextNode(pad), firstNode.firstChild);
-            gutter.style.display = "";
-            lineSpace.style.marginLeft = gutter.offsetWidth + "px";
-            gutterDirty = false;
-        }
-        function updateCursor() {
-            var head = sel.inverted ? sel.from : sel.to, lh = textHeight();
-            var pos = localCoords(head, true);
-            var wrapOff = eltOffset(wrapper), lineOff = eltOffset(lineDiv);
-            inputDiv.style.top = (pos.y + lineOff.top - wrapOff.top) + "px";
-            inputDiv.style.left = (pos.x + lineOff.left - wrapOff.left) + "px";
-            if (posEq(sel.from, sel.to)) {
-                cursor.style.top = pos.y + "px";
-                cursor.style.left = (options.lineWrapping ? Math.min(pos.x, lineSpace.offsetWidth) : pos.x) + "px";
-                cursor.style.display = "";
-            }
-            else cursor.style.display = "none";
-        }
-
-        function setShift(val) {
-            if (val) shiftSelecting = shiftSelecting || (sel.inverted ? sel.to : sel.from);
-            else shiftSelecting = null;
-        }
-        function setSelectionUser(from, to) {
-            var sh = shiftSelecting && clipPos(shiftSelecting);
-            if (sh) {
-                if (posLess(sh, from)) from = sh;
-                else if (posLess(to, sh)) to = sh;
-            }
-            setSelection(from, to);
-            userSelChange = true;
-        }
-        // Update the selection. Last two args are only used by
-        // updateLines, since they have to be expressed in the line
-        // numbers before the update.
-        function setSelection(from, to, oldFrom, oldTo) {
-            goalColumn = null;
-            if (oldFrom == null) {oldFrom = sel.from.line; oldTo = sel.to.line;}
-            if (posEq(sel.from, from) && posEq(sel.to, to)) return;
-            if (posLess(to, from)) {var tmp = to; to = from; from = tmp;}
-
-            // Skip over hidden lines.
-            if (from.line != oldFrom) from = skipHidden(from, oldFrom, sel.from.ch);
-            if (to.line != oldTo) to = skipHidden(to, oldTo, sel.to.ch);
-
-            if (posEq(from, to)) sel.inverted = false;
-            else if (posEq(from, sel.to)) sel.inverted = false;
-            else if (posEq(to, sel.from)) sel.inverted = true;
-
-            // Some ugly logic used to only mark the lines that actually did
-            // see a change in selection as changed, rather than the whole
-            // selected range.
-            if (posEq(from, to)) {
-                if (!posEq(sel.from, sel.to))
-                    changes.push({from: oldFrom, to: oldTo + 1});
-            }
-            else if (posEq(sel.from, sel.to)) {
-                changes.push({from: from.line, to: to.line + 1});
-            }
-            else {
-                if (!posEq(from, sel.from)) {
-                    if (from.line < oldFrom)
-                        changes.push({from: from.line, to: Math.min(to.line, oldFrom) + 1});
-                    else
-                        changes.push({from: oldFrom, to: Math.min(oldTo, from.line) + 1});
-                }
-                if (!posEq(to, sel.to)) {
-                    if (to.line < oldTo)
-                        changes.push({from: Math.max(oldFrom, from.line), to: oldTo + 1});
-                    else
-                        changes.push({from: Math.max(from.line, oldTo), to: to.line + 1});
-                }
-            }
-            sel.from = from; sel.to = to;
-            selectionChanged = true;
-        }
-        function skipHidden(pos, oldLine, oldCh) {
-            function getNonHidden(dir) {
-                var lNo = pos.line + dir, end = dir == 1 ? doc.size : -1;
-                while (lNo != end) {
-                    var line = getLine(lNo);
-                    if (!line.hidden) {
-                        var ch = pos.ch;
-                        if (ch > oldCh || ch > line.text.length) ch = line.text.length;
-                        return {line: lNo, ch: ch};
-                    }
-                    lNo += dir;
-                }
-            }
-            var line = getLine(pos.line);
-            if (!line.hidden) return pos;
-            if (pos.line >= oldLine) return getNonHidden(1) || getNonHidden(-1);
-            else return getNonHidden(-1) || getNonHidden(1);
-        }
-        function setCursor(line, ch, user) {
-            var pos = clipPos({line: line, ch: ch || 0});
-            (user ? setSelectionUser : setSelection)(pos, pos);
-        }
-
-        function clipLine(n) {return Math.max(0, Math.min(n, doc.size-1));}
-        function clipPos(pos) {
-            if (pos.line < 0) return {line: 0, ch: 0};
-            if (pos.line >= doc.size) return {line: doc.size-1, ch: getLine(doc.size-1).text.length};
-            var ch = pos.ch, linelen = getLine(pos.line).text.length;
-            if (ch == null || ch > linelen) return {line: pos.line, ch: linelen};
-            else if (ch < 0) return {line: pos.line, ch: 0};
-            else return pos;
-        }
-
-        function findPosH(dir, unit) {
-            var end = sel.inverted ? sel.from : sel.to, line = end.line, ch = end.ch;
-            var lineObj = getLine(line);
-            function findNextLine() {
-                for (var l = line + dir, e = dir < 0 ? -1 : doc.size; l != e; l += dir) {
-                    var lo = getLine(l);
-                    if (!lo.hidden) { line = l; lineObj = lo; return true; }
-                }
-            }
-            function moveOnce(boundToLine) {
-                if (ch == (dir < 0 ? 0 : lineObj.text.length)) {
-                    if (!boundToLine && findNextLine()) ch = dir < 0 ? lineObj.text.length : 0;
-                    else return false;
-                } else ch += dir;
-                return true;
-            }
-            if (unit == "char") moveOnce();
-            else if (unit == "column") moveOnce(true);
-            else if (unit == "word") {
-                var sawWord = false;
-                for (;;) {
-                    if (dir < 0) if (!moveOnce()) break;
-                    if (isWordChar(lineObj.text.charAt(ch))) sawWord = true;
-                    else if (sawWord) {if (dir < 0) {dir = 1; moveOnce();} break;}
-                    if (dir > 0) if (!moveOnce()) break;
-                }
-            }
-            return {line: line, ch: ch};
-        }
-        function moveH(dir, unit) {
-            var pos = dir < 0 ? sel.from : sel.to;
-            if (shiftSelecting || posEq(sel.from, sel.to)) pos = findPosH(dir, unit);
-            setCursor(pos.line, pos.ch, true);
-        }
-        function deleteH(dir, unit) {
-            if (!posEq(sel.from, sel.to)) replaceRange("", sel.from, sel.to);
-            else if (dir < 0) replaceRange("", findPosH(dir, unit), sel.to);
-            else replaceRange("", sel.from, findPosH(dir, unit));
-            userSelChange = true;
-        }
-        var goalColumn = null;
-        function moveV(dir, unit) {
-            var dist = 0, pos = localCoords(sel.inverted ? sel.from : sel.to, true);
-            if (goalColumn != null) pos.x = goalColumn;
-            if (unit == "page") dist = scroller.clientHeight;
-            else if (unit == "line") dist = textHeight();
-            var target = coordsChar(pos.x, pos.y + dist * dir + 2);
-            setCursor(target.line, target.ch, true);
-            goalColumn = pos.x;
-        }
-
-        function selectWordAt(pos) {
-            var line = getLine(pos.line).text;
-            var start = pos.ch, end = pos.ch;
-            while (start > 0 && isWordChar(line.charAt(start - 1))) --start;
-            while (end < line.length && isWordChar(line.charAt(end))) ++end;
-            setSelectionUser({line: pos.line, ch: start}, {line: pos.line, ch: end});
-        }
-        function selectLine(line) {
-            setSelectionUser({line: line, ch: 0}, {line: line, ch: getLine(line).text.length});
-        }
-        function indentSelected(mode) {
-            if (posEq(sel.from, sel.to)) return indentLine(sel.from.line, mode);
-            var e = sel.to.line - (sel.to.ch ? 0 : 1);
-            for (var i = sel.from.line; i <= e; ++i) indentLine(i, mode);
-        }
-
-        function indentLine(n, how) {
-            if (!how) how = "add";
-            if (how == "smart") {
-                if (!mode.indent) how = "prev";
-                else var state = getStateBefore(n);
-            }
-
-            var line = getLine(n), curSpace = line.indentation(options.tabSize),
-                curSpaceString = line.text.match(/^\s*/)[0], indentation;
-            if (how == "prev") {
-                if (n) indentation = getLine(n-1).indentation(options.tabSize);
-                else indentation = 0;
-            }
-            else if (how == "smart") indentation = mode.indent(state, line.text.slice(curSpaceString.length), line.text);
-            else if (how == "add") indentation = curSpace + options.indentUnit;
-            else if (how == "subtract") indentation = curSpace - options.indentUnit;
-            indentation = Math.max(0, indentation);
-            var diff = indentation - curSpace;
-
-            if (!diff) {
-                if (sel.from.line != n && sel.to.line != n) return;
-                var indentString = curSpaceString;
-            }
-            else {
-                var indentString = "", pos = 0;
-                if (options.indentWithTabs)
-                    for (var i = Math.floor(indentation / options.tabSize); i; --i) {pos += options.tabSize; indentString += "\t";}
-                while (pos < indentation) {++pos; indentString += " ";}
-            }
-
-            replaceRange(indentString, {line: n, ch: 0}, {line: n, ch: curSpaceString.length});
-        }
-
-        function loadMode() {
-            mode = CodeMirror.getMode(options, options.mode);
-            doc.iter(0, doc.size, function(line) { line.stateAfter = null; });
-            work = [0];
-            startWorker();
-        }
-        function gutterChanged() {
-            var visible = options.gutter || options.lineNumbers;
-            gutter.style.display = visible ? "" : "none";
-            if (visible) gutterDirty = true;
-            else lineDiv.parentNode.style.marginLeft = 0;
-        }
-        function wrappingChanged(from, to) {
-            if (options.lineWrapping) {
-                wrapper.className += " CodeMirror-wrap";
-                var perLine = scroller.clientWidth / charWidth() - 3;
-                doc.iter(0, doc.size, function(line) {
-                    if (line.hidden) return;
-                    var guess = Math.ceil(line.text.length / perLine) || 1;
-                    if (guess != 1) updateLineHeight(line, guess);
-                });
-                lineSpace.style.width = code.style.width = "";
-            } else {
-                wrapper.className = wrapper.className.replace(" CodeMirror-wrap", "");
-                maxWidth = null; maxLine = "";
-                doc.iter(0, doc.size, function(line) {
-                    if (line.height != 1 && !line.hidden) updateLineHeight(line, 1);
-                    if (line.text.length > maxLine.length) maxLine = line.text;
-                });
-            }
-            changes.push({from: 0, to: doc.size});
-        }
-        function computeTabText() {
-            for (var str = '<span class="cm-tab">', i = 0; i < options.tabSize; ++i) str += " ";
-            return str + "</span>";
-        }
-        function tabsChanged() {
-            tabText = computeTabText();
-            updateDisplay(true);
-        }
-        function themeChanged() {
-            scroller.className = scroller.className.replace(/\s*cm-s-\w+/g, "") +
-                options.theme.replace(/(^|\s)\s*/g, " cm-s-");
-        }
-
-        function TextMarker() { this.set = []; }
-        TextMarker.prototype.clear = operation(function() {
-            var min = Infinity, max = -Infinity;
-            for (var i = 0, e = this.set.length; i < e; ++i) {
-                var line = this.set[i], mk = line.marked;
-                if (!mk || !line.parent) continue;
-                var lineN = lineNo(line);
-                min = Math.min(min, lineN); max = Math.max(max, lineN);
-                for (var j = 0; j < mk.length; ++j)
-                    if (mk[j].set == this.set) mk.splice(j--, 1);
-            }
-            if (min != Infinity)
-                changes.push({from: min, to: max + 1});
-        });
-        TextMarker.prototype.find = function() {
-            var from, to;
-            for (var i = 0, e = this.set.length; i < e; ++i) {
-                var line = this.set[i], mk = line.marked;
-                for (var j = 0; j < mk.length; ++j) {
-                    var mark = mk[j];
-                    if (mark.set == this.set) {
-                        if (mark.from != null || mark.to != null) {
-                            var found = lineNo(line);
-                            if (found != null) {
-                                if (mark.from != null) from = {line: found, ch: mark.from};
-                                if (mark.to != null) to = {line: found, ch: mark.to};
-                            }
-                        }
-                    }
-                }
-            }
-            return {from: from, to: to};
-        };
-
-        function markText(from, to, className) {
-            from = clipPos(from); to = clipPos(to);
-            var tm = new TextMarker();
-            function add(line, from, to, className) {
-                getLine(line).addMark(new MarkedText(from, to, className, tm.set));
-            }
-            if (from.line == to.line) add(from.line, from.ch, to.ch, className);
-            else {
-                add(from.line, from.ch, null, className);
-                for (var i = from.line + 1, e = to.line; i < e; ++i)
-                    add(i, null, null, className);
-                add(to.line, null, to.ch, className);
-            }
-            changes.push({from: from.line, to: to.line + 1});
-            return tm;
-        }
-
-        function setBookmark(pos) {
-            pos = clipPos(pos);
-            var bm = new Bookmark(pos.ch);
-            getLine(pos.line).addMark(bm);
-            return bm;
-        }
-
-        function addGutterMarker(line, text, className) {
-            if (typeof line == "number") line = getLine(clipLine(line));
-            line.gutterMarker = {text: text, style: className};
-            gutterDirty = true;
-            return line;
-        }
-        function removeGutterMarker(line) {
-            if (typeof line == "number") line = getLine(clipLine(line));
-            line.gutterMarker = null;
-            gutterDirty = true;
-        }
-
-        function changeLine(handle, op) {
-            var no = handle, line = handle;
-            if (typeof handle == "number") line = getLine(clipLine(handle));
-            else no = lineNo(handle);
-            if (no == null) return null;
-            if (op(line, no)) changes.push({from: no, to: no + 1});
-            else return null;
-            return line;
-        }
-        function setLineClass(handle, className) {
-            return changeLine(handle, function(line) {
-                if (line.className != className) {
-                    line.className = className;
-                    return true;
-                }
-            });
-        }
-        function setLineHidden(handle, hidden) {
-            return changeLine(handle, function(line, no) {
-                if (line.hidden != hidden) {
-                    line.hidden = hidden;
-                    updateLineHeight(line, hidden ? 0 : 1);
-                    if (hidden && (sel.from.line == no || sel.to.line == no))
-                        setSelection(skipHidden(sel.from, sel.from.line, sel.from.ch),
-                            skipHidden(sel.to, sel.to.line, sel.to.ch));
-                    return (gutterDirty = true);
-                }
-            });
-        }
-
-        function lineInfo(line) {
-            if (typeof line == "number") {
-                if (!isLine(line)) return null;
-                var n = line;
-                line = getLine(line);
-                if (!line) return null;
-            }
-            else {
-                var n = lineNo(line);
-                if (n == null) return null;
-            }
-            var marker = line.gutterMarker;
-            return {line: n, handle: line, text: line.text, markerText: marker && marker.text,
-                markerClass: marker && marker.style, lineClass: line.className};
-        }
-
-        function stringWidth(str) {
-            measure.innerHTML = "<pre><span>x</span></pre>";
-            measure.firstChild.firstChild.firstChild.nodeValue = str;
-            return measure.firstChild.firstChild.offsetWidth || 10;
-        }
-        // These are used to go from pixel positions to character
-        // positions, taking varying character widths into account.
-        function charFromX(line, x) {
-            if (x <= 0) return 0;
-            var lineObj = getLine(line), text = lineObj.text;
-            function getX(len) {
-                measure.innerHTML = "<pre><span>" + lineObj.getHTML(null, null, false, tabText, len) + "</span></pre>";
-                return measure.firstChild.firstChild.offsetWidth;
-            }
-            var from = 0, fromX = 0, to = text.length, toX;
-            // Guess a suitable upper bound for our search.
-            var estimated = Math.min(to, Math.ceil(x / charWidth()));
-            for (;;) {
-                var estX = getX(estimated);
-                if (estX <= x && estimated < to) estimated = Math.min(to, Math.ceil(estimated * 1.2));
-                else {toX = estX; to = estimated; break;}
-            }
-            if (x > toX) return to;
-            // Try to guess a suitable lower bound as well.
-            estimated = Math.floor(to * 0.8); estX = getX(estimated);
-            if (estX < x) {from = estimated; fromX = estX;}
-            // Do a binary search between these bounds.
-            for (;;) {
-                if (to - from <= 1) return (toX - x > x - fromX) ? from : to;
-                var middle = Math.ceil((from + to) / 2), middleX = getX(middle);
-                if (middleX > x) {to = middle; toX = middleX;}
-                else {from = middle; fromX = middleX;}
-            }
-        }
-
-        var tempId = Math.floor(Math.random() * 0xffffff).toString(16);
-        function measureLine(line, ch) {
-            var extra = "";
-            // Include extra text at the end to make sure the measured line is wrapped in the right way.
-            if (options.lineWrapping) {
-                var end = line.text.indexOf(" ", ch + 2);
-                extra = htmlEscape(line.text.slice(ch + 1, end < 0 ? line.text.length : end + (ie ? 5 : 0)));
-            }
-            measure.innerHTML = "<pre>" + line.getHTML(null, null, false, tabText, ch) +
-                '<span id="CodeMirror-temp-' + tempId + '">' + htmlEscape(line.text.charAt(ch) || " ") + "</span>" +
-                extra + "</pre>";
-            var elt = document.getElementById("CodeMirror-temp-" + tempId);
-            var top = elt.offsetTop, left = elt.offsetLeft;
-            // Older IEs report zero offsets for spans directly after a wrap
-            if (ie && ch && top == 0 && left == 0) {
-                var backup = document.createElement("span");
-                backup.innerHTML = "x";
-                elt.parentNode.insertBefore(backup, elt.nextSibling);
-                top = backup.offsetTop;
-            }
-            return {top: top, left: left};
-        }
-        function localCoords(pos, inLineWrap) {
-            var x, lh = textHeight(), y = lh * (heightAtLine(doc, pos.line) - (inLineWrap ? displayOffset : 0));
-            if (pos.ch == 0) x = 0;
-            else {
-                var sp = measureLine(getLine(pos.line), pos.ch);
-                x = sp.left;
-                if (options.lineWrapping) y += Math.max(0, sp.top);
-            }
-            return {x: x, y: y, yBot: y + lh};
-        }
-        // Coords must be lineSpace-local
-        function coordsChar(x, y) {
-            if (y < 0) y = 0;
-            var th = textHeight(), cw = charWidth(), heightPos = displayOffset + Math.floor(y / th);
-            var lineNo = lineAtHeight(doc, heightPos);
-            if (lineNo >= doc.size) return {line: doc.size - 1, ch: getLine(doc.size - 1).text.length};
-            var lineObj = getLine(lineNo), text = lineObj.text;
-            var tw = options.lineWrapping, innerOff = tw ? heightPos - heightAtLine(doc, lineNo) : 0;
-            if (x <= 0 && innerOff == 0) return {line: lineNo, ch: 0};
-            function getX(len) {
-                var sp = measureLine(lineObj, len);
-                if (tw) {
-                    var off = Math.round(sp.top / th);
-                    return Math.max(0, sp.left + (off - innerOff) * scroller.clientWidth);
-                }
-                return sp.left;
-            }
-            var from = 0, fromX = 0, to = text.length, toX;
-            // Guess a suitable upper bound for our search.
-            var estimated = Math.min(to, Math.ceil((x + innerOff * scroller.clientWidth * .9) / cw));
-            for (;;) {
-                var estX = getX(estimated);
-                if (estX <= x && estimated < to) estimated = Math.min(to, Math.ceil(estimated * 1.2));
-                else {toX = estX; to = estimated; break;}
-            }
-            if (x > toX) return {line: lineNo, ch: to};
-            // Try to guess a suitable lower bound as well.
-            estimated = Math.floor(to * 0.8); estX = getX(estimated);
-            if (estX < x) {from = estimated; fromX = estX;}
-            // Do a binary search between these bounds.
-            for (;;) {
-                if (to - from <= 1) return {line: lineNo, ch: (toX - x > x - fromX) ? from : to};
-                var middle = Math.ceil((from + to) / 2), middleX = getX(middle);
-                if (middleX > x) {to = middle; toX = middleX;}
-                else {from = middle; fromX = middleX;}
-            }
-        }
-        function pageCoords(pos) {
-            var local = localCoords(pos, true), off = eltOffset(lineSpace);
-            return {x: off.left + local.x, y: off.top + local.y, yBot: off.top + local.yBot};
-        }
-
-        var cachedHeight, cachedHeightFor, measureText;
-        function textHeight() {
-            if (measureText == null) {
-                measureText = "<pre>";
-                for (var i = 0; i < 49; ++i) measureText += "x<br/>";
-                measureText += "x</pre>";
-            }
-            var offsetHeight = lineDiv.clientHeight;
-            if (offsetHeight == cachedHeightFor) return cachedHeight;
-            cachedHeightFor = offsetHeight;
-            measure.innerHTML = measureText;
-            cachedHeight = measure.firstChild.offsetHeight / 50 || 1;
-            measure.innerHTML = "";
-            return cachedHeight;
-        }
-        var cachedWidth, cachedWidthFor = 0;
-        function charWidth() {
-            if (scroller.clientWidth == cachedWidthFor) return cachedWidth;
-            cachedWidthFor = scroller.clientWidth;
-            return (cachedWidth = stringWidth("x"));
-        }
-        function paddingTop() {return lineSpace.offsetTop;}
-        function paddingLeft() {return lineSpace.offsetLeft;}
-
-        function posFromMouse(e, liberal) {
-            var offW = eltOffset(scroller, true), x, y;
-            // Fails unpredictably on IE[67] when mouse is dragged around quickly.
-            try { x = e.clientX; y = e.clientY; } catch (e) { return null; }
-            // This is a mess of a heuristic to try and determine whether a
-            // scroll-bar was clicked or not, and to return null if one was
-            // (and !liberal).
-            if (!liberal && (x - offW.left > scroller.clientWidth || y - offW.top > scroller.clientHeight))
-                return null;
-            var offL = eltOffset(lineSpace, true);
-            return coordsChar(x - offL.left, y - offL.top);
-        }
-        function onContextMenu(e) {
-            var pos = posFromMouse(e);
-            if (!pos || window.opera) return; // Opera is difficult.
-            if (posEq(sel.from, sel.to) || posLess(pos, sel.from) || !posLess(pos, sel.to))
-                operation(setCursor)(pos.line, pos.ch);
-
-            var oldCSS = input.style.cssText;
-            inputDiv.style.position = "absolute";
-            input.style.cssText = "position: fixed; width: 30px; height: 30px; top: " + (e.clientY - 5) +
-                "px; left: " + (e.clientX - 5) + "px; z-index: 1000; background: white; " +
-                "border-width: 0; outline: none; overflow: hidden; opacity: .05; filter: alpha(opacity=5);";
-            leaveInputAlone = true;
-            var val = input.value = getSelection();
-            focusInput();
-            input.select();
-            function rehide() {
-                var newVal = splitLines(input.value).join("\n");
-                if (newVal != val) operation(replaceSelection)(newVal, "end");
-                inputDiv.style.position = "relative";
-                input.style.cssText = oldCSS;
-                leaveInputAlone = false;
-                resetInput(true);
-                slowPoll();
-            }
-
-            if (gecko) {
-                e_stop(e);
-                var mouseup = connect(window, "mouseup", function() {
-                    mouseup();
-                    setTimeout(rehide, 20);
-                }, true);
-            }
-            else {
-                setTimeout(rehide, 50);
-            }
-        }
-
-        // Cursor-blinking
-        function restartBlink() {
-            clearInterval(blinker);
-            var on = true;
-            cursor.style.visibility = "";
-            blinker = setInterval(function() {
-                cursor.style.visibility = (on = !on) ? "" : "hidden";
-            }, 650);
-        }
-
-        var matching = {"(": ")>", ")": "(<", "[": "]>", "]": "[<", "{": "}>", "}": "{<"};
-        function matchBrackets(autoclear) {
-            var head = sel.inverted ? sel.from : sel.to, line = getLine(head.line), pos = head.ch - 1;
-            var match = (pos >= 0 && matching[line.text.charAt(pos)]) || matching[line.text.charAt(++pos)];
-            if (!match) return;
-            var ch = match.charAt(0), forward = match.charAt(1) == ">", d = forward ? 1 : -1, st = line.styles;
-            for (var off = pos + 1, i = 0, e = st.length; i < e; i+=2)
-                if ((off -= st[i].length) <= 0) {var style = st[i+1]; break;}
-
-            var stack = [line.text.charAt(pos)], re = /[(){}[\]]/;
-            function scan(line, from, to) {
-                if (!line.text) return;
-                var st = line.styles, pos = forward ? 0 : line.text.length - 1, cur;
-                for (var i = forward ? 0 : st.length - 2, e = forward ? st.length : -2; i != e; i += 2*d) {
-                    var text = st[i];
-                    if (st[i+1] != null && st[i+1] != style) {pos += d * text.length; continue;}
-                    for (var j = forward ? 0 : text.length - 1, te = forward ? text.length : -1; j != te; j += d, pos+=d) {
-                        if (pos >= from && pos < to && re.test(cur = text.charAt(j))) {
-                            var match = matching[cur];
-                            if (match.charAt(1) == ">" == forward) stack.push(cur);
-                            else if (stack.pop() != match.charAt(0)) return {pos: pos, match: false};
-                            else if (!stack.length) return {pos: pos, match: true};
-                        }
-                    }
-                }
-            }
-            for (var i = head.line, e = forward ? Math.min(i + 100, doc.size) : Math.max(-1, i - 100); i != e; i+=d) {
-                var line = getLine(i), first = i == head.line;
-                var found = scan(line, first && forward ? pos + 1 : 0, first && !forward ? pos : line.text.length);
-                if (found) break;
-            }
-            if (!found) found = {pos: null, match: false};
-            var style = found.match ? "CodeMirror-matchingbracket" : "CodeMirror-nonmatchingbracket";
-            var one = markText({line: head.line, ch: pos}, {line: head.line, ch: pos+1}, style),
-                two = found.pos != null && markText({line: i, ch: found.pos}, {line: i, ch: found.pos + 1}, style);
-            var clear = operation(function(){one.clear(); two && two.clear();});
-            if (autoclear) setTimeout(clear, 800);
-            else bracketHighlighted = clear;
-        }
-
-        // Finds the line to start with when starting a parse. Tries to
-        // find a line with a stateAfter, so that it can start with a
-        // valid state. If that fails, it returns the line with the
-        // smallest indentation, which tends to need the least context to
-        // parse correctly.
-        function findStartLine(n) {
-            var minindent, minline;
-            for (var search = n, lim = n - 40; search > lim; --search) {
-                if (search == 0) return 0;
-                var line = getLine(search-1);
-                if (line.stateAfter) return search;
-                var indented = line.indentation(options.tabSize);
-                if (minline == null || minindent > indented) {
-                    minline = search - 1;
-                    minindent = indented;
-                }
-            }
-            return minline;
-        }
-        function getStateBefore(n) {
-            var start = findStartLine(n), state = start && getLine(start-1).stateAfter;
-            if (!state) state = startState(mode);
-            else state = copyState(mode, state);
-            doc.iter(start, n, function(line) {
-                line.highlight(mode, state, options.tabSize);
-                line.stateAfter = copyState(mode, state);
-            });
-            if (start < n) changes.push({from: start, to: n});
-            if (n < doc.size && !getLine(n).stateAfter) work.push(n);
-            return state;
-        }
-        function highlightLines(start, end) {
-            var state = getStateBefore(start);
-            doc.iter(start, end, function(line) {
-                line.highlight(mode, state, options.tabSize);
-                line.stateAfter = copyState(mode, state);
-            });
-        }
-        function highlightWorker() {
-            var end = +new Date + options.workTime;
-            var foundWork = work.length;
-            while (work.length) {
-                if (!getLine(showingFrom).stateAfter) var task = showingFrom;
-                else var task = work.pop();
-                if (task >= doc.size) continue;
-                var start = findStartLine(task), state = start && getLine(start-1).stateAfter;
-                if (state) state = copyState(mode, state);
-                else state = startState(mode);
-
-                var unchanged = 0, compare = mode.compareStates, realChange = false,
-                    i = start, bail = false;
-                doc.iter(i, doc.size, function(line) {
-                    var hadState = line.stateAfter;
-                    if (+new Date > end) {
-                        work.push(i);
-                        startWorker(options.workDelay);
-                        if (realChange) changes.push({from: task, to: i + 1});
-                        return (bail = true);
-                    }
-                    var changed = line.highlight(mode, state, options.tabSize);
-                    if (changed) realChange = true;
-                    line.stateAfter = copyState(mode, state);
-                    if (compare) {
-                        if (hadState && compare(hadState, state)) return true;
-                    } else {
-                        if (changed !== false || !hadState) unchanged = 0;
-                        else if (++unchanged > 3 && (!mode.indent || mode.indent(hadState, "") == mode.indent(state, "")))
-                            return true;
-                    }
-                    ++i;
-                });
-                if (bail) return;
-                if (realChange) changes.push({from: task, to: i + 1});
-            }
-            if (foundWork && options.onHighlightComplete)
-                options.onHighlightComplete(instance);
-        }
-        function startWorker(time) {
-            if (!work.length) return;
-            highlight.set(time, operation(highlightWorker));
-        }
-
-        // Operations are used to wrap changes in such a way that each
-        // change won't have to update the cursor and display (which would
-        // be awkward, slow, and error-prone), but instead updates are
-        // batched and then all combined and executed at once.
-        function startOperation() {
-            updateInput = userSelChange = textChanged = null;
-            changes = []; selectionChanged = false; callbacks = [];
-        }
-        function endOperation() {
-            var reScroll = false, updated;
-            if (selectionChanged) reScroll = !scrollCursorIntoView();
-            if (changes.length) updated = updateDisplay(changes, true);
-            else {
-                if (selectionChanged) updateCursor();
-                if (gutterDirty) updateGutter();
-            }
-            if (reScroll) scrollCursorIntoView();
-            if (selectionChanged) {scrollEditorIntoView(); restartBlink();}
-
-            if (focused && !leaveInputAlone &&
-                (updateInput === true || (updateInput !== false && selectionChanged)))
-                resetInput(userSelChange);
-
-            if (selectionChanged && options.matchBrackets)
-                setTimeout(operation(function() {
-                    if (bracketHighlighted) {bracketHighlighted(); bracketHighlighted = null;}
-                    if (posEq(sel.from, sel.to)) matchBrackets(false);
-                }), 20);
-            var tc = textChanged, cbs = callbacks; // these can be reset by callbacks
-            if (selectionChanged && options.onCursorActivity)
-                options.onCursorActivity(instance);
-            if (tc && options.onChange && instance)
-                options.onChange(instance, tc);
-            for (var i = 0; i < cbs.length; ++i) cbs[i](instance);
-            if (updated && options.onUpdate) options.onUpdate(instance);
-        }
-        var nestedOperation = 0;
-        function operation(f) {
-            return function() {
-                if (!nestedOperation++) startOperation();
-                try {var result = f.apply(this, arguments);}
-                finally {if (!--nestedOperation) endOperation();}
-                return result;
-            };
-        }
-
-        for (var ext in extensions)
-            if (extensions.propertyIsEnumerable(ext) &&
-                !instance.propertyIsEnumerable(ext))
-                instance[ext] = extensions[ext];
-        return instance;
-    } // (end of function CodeMirror)
-
-    // The default configuration options.
-    CodeMirror.defaults = {
-        value: "",
-        mode: null,
-        theme: "default",
-        indentUnit: 2,
-        indentWithTabs: false,
-        tabSize: 4,
-        keyMap: "default",
-        extraKeys: null,
-        electricChars: true,
-        onKeyEvent: null,
-        lineWrapping: false,
-        lineNumbers: false,
-        gutter: false,
-        fixedGutter: false,
-        firstLineNumber: 1,
-        readOnly: false,
-        onChange: null,
-        onCursorActivity: null,
-        onGutterClick: null,
-        onHighlightComplete: null,
-        onUpdate: null,
-        onFocus: null, onBlur: null, onScroll: null,
-        matchBrackets: false,
-        workTime: 100,
-        workDelay: 200,
-        pollInterval: 100,
-        undoDepth: 40,
-        tabindex: null,
-        document: window.document
-    };
-
-    var mac = /Mac/.test(navigator.platform);
-    var win = /Win/.test(navigator.platform);
-
-    // Known modes, by name and by MIME
-    var modes = {}, mimeModes = {};
-    CodeMirror.defineMode = function(name, mode) {
-        if (!CodeMirror.defaults.mode && name != "null") CodeMirror.defaults.mode = name;
-        modes[name] = mode;
-    };
-    CodeMirror.defineMIME = function(mime, spec) {
-        mimeModes[mime] = spec;
-    };
-    CodeMirror.getMode = function(options, spec) {
-        if (typeof spec == "string" && mimeModes.hasOwnProperty(spec))
-            spec = mimeModes[spec];
-        if (typeof spec == "string")
-            var mname = spec, config = {};
-        else if (spec != null)
-            var mname = spec.name, config = spec;
-        var mfactory = modes[mname];
-        if (!mfactory) {
-            if (window.console) console.warn("No mode " + mname + " found, falling back to plain text.");
-            return CodeMirror.getMode(options, "text/plain");
-        }
-        return mfactory(options, config || {});
-    };
-    CodeMirror.listModes = function() {
-        var list = [];
-        for (var m in modes)
-            if (modes.propertyIsEnumerable(m)) list.push(m);
-        return list;
-    };
-    CodeMirror.listMIMEs = function() {
-        var list = [];
-        for (var m in mimeModes)
-            if (mimeModes.propertyIsEnumerable(m)) list.push({mime: m, mode: mimeModes[m]});
-        return list;
-    };
-
-    var extensions = CodeMirror.extensions = {};
-    CodeMirror.defineExtension = function(name, func) {
-        extensions[name] = func;
-    };
-
-    var commands = CodeMirror.commands = {
-        selectAll: function(cm) {cm.setSelection({line: 0, ch: 0}, {line: cm.lineCount() - 1});},
-        killLine: function(cm) {
-            var from = cm.getCursor(true), to = cm.getCursor(false), sel = !posEq(from, to);
-            if (!sel && cm.getLine(from.line).length == from.ch) cm.replaceRange("", from, {line: from.line + 1, ch: 0});
-            else cm.replaceRange("", from, sel ? to : {line: from.line});
-        },
-        deleteLine: function(cm) {var l = cm.getCursor().line; cm.replaceRange("", {line: l, ch: 0}, {line: l});},
-        undo: function(cm) {cm.undo();},
-        redo: function(cm) {cm.redo();},
-        goDocStart: function(cm) {cm.setCursor(0, 0, true);},
-        goDocEnd: function(cm) {cm.setSelection({line: cm.lineCount() - 1}, null, true);},
-        goLineStart: function(cm) {cm.setCursor(cm.getCursor().line, 0, true);},
-        goLineStartSmart: function(cm) {
-            var cur = cm.getCursor();
-            var text = cm.getLine(cur.line), firstNonWS = Math.max(0, text.search(/\S/));
-            cm.setCursor(cur.line, cur.ch <= firstNonWS && cur.ch ? 0 : firstNonWS, true);
-        },
-        goLineEnd: function(cm) {cm.setSelection({line: cm.getCursor().line}, null, true);},
-        goLineUp: function(cm) {cm.moveV(-1, "line");},
-        goLineDown: function(cm) {cm.moveV(1, "line");},
-        goPageUp: function(cm) {cm.moveV(-1, "page");},
-        goPageDown: function(cm) {cm.moveV(1, "page");},
-        goCharLeft: function(cm) {cm.moveH(-1, "char");},
-        goCharRight: function(cm) {cm.moveH(1, "char");},
-        goColumnLeft: function(cm) {cm.moveH(-1, "column");},
-        goColumnRight: function(cm) {cm.moveH(1, "column");},
-        goWordLeft: function(cm) {cm.moveH(-1, "word");},
-        goWordRight: function(cm) {cm.moveH(1, "word");},
-        delCharLeft: function(cm) {cm.deleteH(-1, "char");},
-        delCharRight: function(cm) {cm.deleteH(1, "char");},
-        delWordLeft: function(cm) {cm.deleteH(-1, "word");},
-        delWordRight: function(cm) {cm.deleteH(1, "word");},
-        indentAuto: function(cm) {cm.indentSelection("smart");},
-        indentMore: function(cm) {cm.indentSelection("add");},
-        indentLess: function(cm) {cm.indentSelection("subtract");},
-        insertTab: function(cm) {cm.replaceSelection("\t", "end");},
-        transposeChars: function(cm) {
-            var cur = cm.getCursor(), line = cm.getLine(cur.line);
-            if (cur.ch > 0 && cur.ch < line.length - 1)
-                cm.replaceRange(line.charAt(cur.ch) + line.charAt(cur.ch - 1),
-                    {line: cur.line, ch: cur.ch - 1}, {line: cur.line, ch: cur.ch + 1});
-        },
-        newlineAndIndent: function(cm) {
-            cm.replaceSelection("\n", "end");
-            cm.indentLine(cm.getCursor().line);
-        },
-        toggleOverwrite: function(cm) {cm.toggleOverwrite();}
-    };
-
-    var keyMap = CodeMirror.keyMap = {};
-    keyMap.basic = {
-        "Left": "goCharLeft", "Right": "goCharRight", "Up": "goLineUp", "Down": "goLineDown",
-        "End": "goLineEnd", "Home": "goLineStartSmart", "PageUp": "goPageUp", "PageDown": "goPageDown",
-        "Delete": "delCharRight", "Backspace": "delCharLeft", "Tab": "indentMore", "Shift-Tab": "indentLess",
-        "Enter": "newlineAndIndent", "Insert": "toggleOverwrite"
-    };
-    // Note that the save and find-related commands aren't defined by
-    // default. Unknown commands are simply ignored.
-    keyMap.pcDefault = {
-        "Ctrl-A": "selectAll", "Ctrl-D": "deleteLine", "Ctrl-Z": "undo", "Shift-Ctrl-Z": "redo", "Ctrl-Y": "redo",
-        "Ctrl-Home": "goDocStart", "Alt-Up": "goDocStart", "Ctrl-End": "goDocEnd", "Ctrl-Down": "goDocEnd",
-        "Ctrl-Left": "goWordLeft", "Ctrl-Right": "goWordRight", "Alt-Left": "goLineStart", "Alt-Right": "goLineEnd",
-        "Ctrl-Backspace": "delWordLeft", "Ctrl-Delete": "delWordRight", "Ctrl-S": "save", "Ctrl-F": "find",
-        "Ctrl-G": "findNext", "Shift-Ctrl-G": "findPrev", "Shift-Ctrl-F": "replace", "Shift-Ctrl-R": "replaceAll",
-        fallthrough: "basic"
-    };
-    keyMap.macDefault = {
-        "Cmd-A": "selectAll", "Cmd-D": "deleteLine", "Cmd-Z": "undo", "Shift-Cmd-Z": "redo", "Cmd-Y": "redo",
-        "Cmd-Up": "goDocStart", "Cmd-End": "goDocEnd", "Cmd-Down": "goDocEnd", "Alt-Left": "goWordLeft",
-        "Alt-Right": "goWordRight", "Cmd-Left": "goLineStart", "Cmd-Right": "goLineEnd", "Alt-Backspace": "delWordLeft",
-        "Ctrl-Alt-Backspace": "delWordRight", "Alt-Delete": "delWordRight", "Cmd-S": "save", "Cmd-F": "find",
-        "Cmd-G": "findNext", "Shift-Cmd-G": "findPrev", "Cmd-Alt-F": "replace", "Shift-Cmd-Alt-F": "replaceAll",
-        fallthrough: ["basic", "emacsy"]
-    };
-    keyMap["default"] = mac ? keyMap.macDefault : keyMap.pcDefault;
-    keyMap.emacsy = {
-        "Ctrl-F": "goCharRight", "Ctrl-B": "goCharLeft", "Ctrl-P": "goLineUp", "Ctrl-N": "goLineDown",
-        "Alt-F": "goWordRight", "Alt-B": "goWordLeft", "Ctrl-A": "goLineStart", "Ctrl-E": "goLineEnd",
-        "Ctrl-V": "goPageUp", "Shift-Ctrl-V": "goPageDown", "Ctrl-D": "delCharRight", "Ctrl-H": "delCharLeft",
-        "Alt-D": "delWordRight", "Alt-Backspace": "delWordLeft", "Ctrl-K": "killLine", "Ctrl-T": "transposeChars"
-    };
-
-    function lookupKey(name, extraMap, map) {
-        function lookup(name, map, ft) {
-            var found = map[name];
-            if (found != null) return found;
-            if (ft == null) ft = map.fallthrough;
-            if (ft == null) return map.catchall;
-            if (typeof ft == "string") return lookup(name, keyMap[ft]);
-            for (var i = 0, e = ft.length; i < e; ++i) {
-                found = lookup(name, keyMap[ft[i]]);
-                if (found != null) return found;
-            }
-            return null;
-        }
-        return extraMap ? lookup(name, extraMap, map) : lookup(name, keyMap[map]);
-    }
-    function isModifierKey(event) {
-        var name = keyNames[event.keyCode];
-        return name == "Ctrl" || name == "Alt" || name == "Shift" || name == "Mod";
-    }
-
-    CodeMirror.fromTextArea = function(textarea, options) {
-        if (!options) options = {};
-        options.value = textarea.value;
-        if (!options.tabindex && textarea.tabindex)
-            options.tabindex = textarea.tabindex;
-
-        function save() {textarea.value = instance.getValue();}
-        if (textarea.form) {
-            // Deplorable hack to make the submit method do the right thing.
-            var rmSubmit = connect(textarea.form, "submit", save, true);
-            if (typeof textarea.form.submit == "function") {
-                var realSubmit = textarea.form.submit;
-                function wrappedSubmit() {
-                    save();
-                    textarea.form.submit = realSubmit;
-                    textarea.form.submit();
-                    textarea.form.submit = wrappedSubmit;
-                }
-                textarea.form.submit = wrappedSubmit;
-            }
-        }
-
-        textarea.style.display = "none";
-        var instance = CodeMirror(function(node) {
-            textarea.parentNode.insertBefore(node, textarea.nextSibling);
-        }, options);
-        instance.save = save;
-        instance.getTextArea = function() { return textarea; };
-        instance.toTextArea = function() {
-            save();
-            textarea.parentNode.removeChild(instance.getWrapperElement());
-            textarea.style.display = "";
-            if (textarea.form) {
-                rmSubmit();
-                if (typeof textarea.form.submit == "function")
-                    textarea.form.submit = realSubmit;
-            }
-        };
-        return instance;
-    };
-
-    // Utility functions for working with state. Exported because modes
-    // sometimes need to do this.
-    function copyState(mode, state) {
-        if (state === true) return state;
-        if (mode.copyState) return mode.copyState(state);
-        var nstate = {};
-        for (var n in state) {
-            var val = state[n];
-            if (val instanceof Array) val = val.concat([]);
-            nstate[n] = val;
-        }
-        return nstate;
-    }
-    CodeMirror.copyState = copyState;
-    function startState(mode, a1, a2) {
-        return mode.startState ? mode.startState(a1, a2) : true;
-    }
-    CodeMirror.startState = startState;
-
-    // The character stream used by a mode's parser.
-    function StringStream(string, tabSize) {
-        this.pos = this.start = 0;
-        this.string = string;
-        this.tabSize = tabSize || 8;
-    }
-    StringStream.prototype = {
-        eol: function() {return this.pos >= this.string.length;},
-        sol: function() {return this.pos == 0;},
-        peek: function() {return this.string.charAt(this.pos);},
-        next: function() {
-            if (this.pos < this.string.length)
-                return this.string.charAt(this.pos++);
-        },
-        eat: function(match) {
-            var ch = this.string.charAt(this.pos);
-            if (typeof match == "string") var ok = ch == match;
-            else var ok = ch && (match.test ? match.test(ch) : match(ch));
-            if (ok) {++this.pos; return ch;}
-        },
-        eatWhile: function(match) {
-            var start = this.pos;
-            while (this.eat(match)){}
-            return this.pos > start;
-        },
-        eatSpace: function() {
-            var start = this.pos;
-            while (/[\s\u00a0]/.test(this.string.charAt(this.pos))) ++this.pos;
-            return this.pos > start;
-        },
-        skipToEnd: function() {this.pos = this.string.length;},
-        skipTo: function(ch) {
-            var found = this.string.indexOf(ch, this.pos);
-            if (found > -1) {this.pos = found; return true;}
-        },
-        backUp: function(n) {this.pos -= n;},
-        column: function() {return countColumn(this.string, this.start, this.tabSize);},
-        indentation: function() {return countColumn(this.string, null, this.tabSize);},
-        match: function(pattern, consume, caseInsensitive) {
-            if (typeof pattern == "string") {
-                function cased(str) {return caseInsensitive ? str.toLowerCase() : str;}
-                if (cased(this.string).indexOf(cased(pattern), this.pos) == this.pos) {
-                    if (consume !== false) this.pos += pattern.length;
-                    return true;
-                }
-            }
-            else {
-                var match = this.string.slice(this.pos).match(pattern);
-                if (match && consume !== false) this.pos += match[0].length;
-                return match;
-            }
-        },
-        current: function(){return this.string.slice(this.start, this.pos);}
-    };
-    CodeMirror.StringStream = StringStream;
-
-    function MarkedText(from, to, className, set) {
-        this.from = from; this.to = to; this.style = className; this.set = set;
-    }
-    MarkedText.prototype = {
-        attach: function(line) { this.set.push(line); },
-        detach: function(line) {
-            var ix = indexOf(this.set, line);
-            if (ix > -1) this.set.splice(ix, 1);
-        },
-        split: function(pos, lenBefore) {
-            if (this.to <= pos && this.to != null) return null;
-            var from = this.from < pos || this.from == null ? null : this.from - pos + lenBefore;
-            var to = this.to == null ? null : this.to - pos + lenBefore;
-            return new MarkedText(from, to, this.style, this.set);
-        },
-        dup: function() { return new MarkedText(null, null, this.style, this.set); },
-        clipTo: function(fromOpen, from, toOpen, to, diff) {
-            if (this.from != null && this.from >= from)
-                this.from = Math.max(to, this.from) + diff;
-            if (this.to != null && this.to > from)
-                this.to = to < this.to ? this.to + diff : from;
-            if (fromOpen && to > this.from && (to < this.to || this.to == null))
-                this.from = null;
-            if (toOpen && (from < this.to || this.to == null) && (from > this.from || this.from == null))
-                this.to = null;
-        },
-        isDead: function() { return this.from != null && this.to != null && this.from >= this.to; },
-        sameSet: function(x) { return this.set == x.set; }
-    };
-
-    function Bookmark(pos) {
-        this.from = pos; this.to = pos; this.line = null;
-    }
-    Bookmark.prototype = {
-        attach: function(line) { this.line = line; },
-        detach: function(line) { if (this.line == line) this.line = null; },
-        split: function(pos, lenBefore) {
-            if (pos < this.from) {
-                this.from = this.to = (this.from - pos) + lenBefore;
-                return this;
-            }
-        },
-        isDead: function() { return this.from > this.to; },
-        clipTo: function(fromOpen, from, toOpen, to, diff) {
-            if ((fromOpen || from < this.from) && (toOpen || to > this.to)) {
-                this.from = 0; this.to = -1;
-            } else if (this.from > from) {
-                this.from = this.to = Math.max(to, this.from) + diff;
-            }
-        },
-        sameSet: function(x) { return false; },
-        find: function() {
-            if (!this.line || !this.line.parent) return null;
-            return {line: lineNo(this.line), ch: this.from};
-        },
-        clear: function() {
-            if (this.line) {
-                var found = indexOf(this.line.marked, this);
-                if (found != -1) this.line.marked.splice(found, 1);
-                this.line = null;
-            }
-        }
-    };
-
-    // Line objects. These hold state related to a line, including
-    // highlighting info (the styles array).
-    function Line(text, styles) {
-        this.styles = styles || [text, null];
-        this.text = text;
-        this.height = 1;
-        this.marked = this.gutterMarker = this.className = this.handlers = null;
-        this.stateAfter = this.parent = this.hidden = null;
-    }
-    Line.inheritMarks = function(text, orig) {
-        var ln = new Line(text), mk = orig && orig.marked;
-        if (mk) {
-            for (var i = 0; i < mk.length; ++i) {
-                if (mk[i].to == null && mk[i].style) {
-                    var newmk = ln.marked || (ln.marked = []), mark = mk[i];
-                    var nmark = mark.dup(); newmk.push(nmark); nmark.attach(ln);
-                }
-            }
-        }
-        return ln;
-    }
-    Line.prototype = {
-        // Replace a piece of a line, keeping the styles around it intact.
-        replace: function(from, to_, text) {
-            var st = [], mk = this.marked, to = to_ == null ? this.text.length : to_;
-            copyStyles(0, from, this.styles, st);
-            if (text) st.push(text, null);
-            copyStyles(to, this.text.length, this.styles, st);
-            this.styles = st;
-            this.text = this.text.slice(0, from) + text + this.text.slice(to);
-            this.stateAfter = null;
-            if (mk) {
-                var diff = text.length - (to - from);
-                for (var i = 0, mark = mk[i]; i < mk.length; ++i) {
-                    mark.clipTo(from == null, from || 0, to_ == null, to, diff);
-                    if (mark.isDead()) {mark.detach(this); mk.splice(i--, 1);}
-                }
-            }
-        },
-        // Split a part off a line, keeping styles and markers intact.
-        split: function(pos, textBefore) {
-            var st = [textBefore, null], mk = this.marked;
-            copyStyles(pos, this.text.length, this.styles, st);
-            var taken = new Line(textBefore + this.text.slice(pos), st);
-            if (mk) {
-                for (var i = 0; i < mk.length; ++i) {
-                    var mark = mk[i];
-                    var newmark = mark.split(pos, textBefore.length);
-                    if (newmark) {
-                        if (!taken.marked) taken.marked = [];
-                        taken.marked.push(newmark); newmark.attach(taken);
-                    }
-                }
-            }
-            return taken;
-        },
-        append: function(line) {
-            var mylen = this.text.length, mk = line.marked, mymk = this.marked;
-            this.text += line.text;
-            copyStyles(0, line.text.length, line.styles, this.styles);
-            if (mymk) {
-                for (var i = 0; i < mymk.length; ++i)
-                    if (mymk[i].to == null) mymk[i].to = mylen;
-            }
-            if (mk && mk.length) {
-                if (!mymk) this.marked = mymk = [];
-                outer: for (var i = 0; i < mk.length; ++i) {
-                    var mark = mk[i];
-                    if (!mark.from) {
-                        for (var j = 0; j < mymk.length; ++j) {
-                            var mymark = mymk[j];
-                            if (mymark.to == mylen && mymark.sameSet(mark)) {
-                                mymark.to = mark.to == null ? null : mark.to + mylen;
-                                if (mymark.isDead()) {
-                                    mymark.detach(this);
-                                    mk.splice(i--, 1);
-                                }
-                                continue outer;
-                            }
-                        }
-                    }
-                    mymk.push(mark);
-                    mark.attach(this);
-                    mark.from += mylen;
-                    if (mark.to != null) mark.to += mylen;
-                }
-            }
-        },
-        fixMarkEnds: function(other) {
-            var mk = this.marked, omk = other.marked;
-            if (!mk) return;
-            for (var i = 0; i < mk.length; ++i) {
-                var mark = mk[i], close = mark.to == null;
-                if (close && omk) {
-                    for (var j = 0; j < omk.length; ++j)
-                        if (omk[j].sameSet(mark)) {close = false; break;}
-                }
-                if (close) mark.to = this.text.length;
-            }
-        },
-        fixMarkStarts: function() {
-            var mk = this.marked;
-            if (!mk) return;
-            for (var i = 0; i < mk.length; ++i)
-                if (mk[i].from == null) mk[i].from = 0;
-        },
-        addMark: function(mark) {
-            mark.attach(this);
-            if (this.marked == null) this.marked = [];
-            this.marked.push(mark);
-            this.marked.sort(function(a, b){return (a.from || 0) - (b.from || 0);});
-        },
-        // Run the given mode's parser over a line, update the styles
-        // array, which contains alternating fragments of text and CSS
-        // classes.
-        highlight: function(mode, state, tabSize) {
-            var stream = new StringStream(this.text, tabSize), st = this.styles, pos = 0;
-            var changed = false, curWord = st[0], prevWord;
-            if (this.text == "" && mode.blankLine) mode.blankLine(state);
-            while (!stream.eol()) {
-                var style = mode.token(stream, state);
-                var substr = this.text.slice(stream.start, stream.pos);
-                stream.start = stream.pos;
-                if (pos && st[pos-1] == style)
-                    st[pos-2] += substr;
-                else if (substr) {
-                    if (!changed && (st[pos+1] != style || (pos && st[pos-2] != prevWord))) changed = true;
-                    st[pos++] = substr; st[pos++] = style;
-                    prevWord = curWord; curWord = st[pos];
-                }
-                // Give up when line is ridiculously long
-                if (stream.pos > 5000) {
-                    st[pos++] = this.text.slice(stream.pos); st[pos++] = null;
-                    break;
-                }
-            }
-            if (st.length != pos) {st.length = pos; changed = true;}
-            if (pos && st[pos-2] != prevWord) changed = true;
-            // Short lines with simple highlights return null, and are
-            // counted as changed by the driver because they are likely to
-            // highlight the same way in various contexts.
-            return changed || (st.length < 5 && this.text.length < 10 ? null : false);
-        },
-        // Fetch the parser token for a given character. Useful for hacks
-        // that want to inspect the mode state (say, for completion).
-        getTokenAt: function(mode, state, ch) {
-            var txt = this.text, stream = new StringStream(txt);
-            while (stream.pos < ch && !stream.eol()) {
-                stream.start = stream.pos;
-                var style = mode.token(stream, state);
-            }
-            return {start: stream.start,
-                end: stream.pos,
-                string: stream.current(),
-                className: style || null,
-                state: state};
-        },
-        indentation: function(tabSize) {return countColumn(this.text, null, tabSize);},
-        // Produces an HTML fragment for the line, taking selection,
-        // marking, and highlighting into account.
-        getHTML: function(sfrom, sto, includePre, tabText, endAt) {
-            var html = [], first = true;
-            if (includePre)
-                html.push(this.className ? '<pre class="' + this.className + '">': "<pre>");
-            function span(text, style) {
-                if (!text) return;
-                // Work around a bug where, in some compat modes, IE ignores leading spaces
-                if (first && ie && text.charAt(0) == " ") text = "\u00a0" + text.slice(1);
-                first = false;
-                if (style) html.push('<span class="', style, '">', htmlEscape(text).replace(/\t/g, tabText), "</span>");
-                else html.push(htmlEscape(text).replace(/\t/g, tabText));
-            }
-            var st = this.styles, allText = this.text, marked = this.marked;
-            if (sfrom == sto) sfrom = null;
-            var len = allText.length;
-            if (endAt != null) len = Math.min(endAt, len);
-
-            if (!allText && endAt == null)
-                span(" ", sfrom != null && sto == null ? "CodeMirror-selected" : null);
-            else if (!marked && sfrom == null)
-                for (var i = 0, ch = 0; ch < len; i+=2) {
-                    var str = st[i], style = st[i+1], l = str.length;
-                    if (ch + l > len) str = str.slice(0, len - ch);
-                    ch += l;
-                    span(str, style && "cm-" + style);
-                }
-            else {
-                var pos = 0, i = 0, text = "", style, sg = 0;
-                var markpos = -1, mark = null;
-                function nextMark() {
-                    if (marked) {
-                        markpos += 1;
-                        mark = (markpos < marked.length) ? marked[markpos] : null;
-                    }
-                }
-                nextMark();
-                while (pos < len) {
-                    var upto = len;
-                    var extraStyle = "";
-                    if (sfrom != null) {
-                        if (sfrom > pos) upto = sfrom;
-                        else if (sto == null || sto > pos) {
-                            extraStyle = " CodeMirror-selected";
-                            if (sto != null) upto = Math.min(upto, sto);
-                        }
-                    }
-                    while (mark && mark.to != null && mark.to <= pos) nextMark();
-                    if (mark) {
-                        if (mark.from > pos) upto = Math.min(upto, mark.from);
-                        else {
-                            extraStyle += " " + mark.style;
-                            if (mark.to != null) upto = Math.min(upto, mark.to);
-                        }
-                    }
-                    for (;;) {
-                        var end = pos + text.length;
-                        var appliedStyle = style;
-                        if (extraStyle) appliedStyle = style ? style + extraStyle : extraStyle;
-                        span(end > upto ? text.slice(0, upto - pos) : text, appliedStyle);
-                        if (end >= upto) {text = text.slice(upto - pos); pos = upto; break;}
-                        pos = end;
-                        text = st[i++]; style = "cm-" + st[i++];
-                    }
-                }
-                if (sfrom != null && sto == null) span(" ", "CodeMirror-selected");
-            }
-            if (includePre) html.push("</pre>");
-            return html.join("");
-        },
-        cleanUp: function() {
-            this.parent = null;
-            if (this.marked)
-                for (var i = 0, e = this.marked.length; i < e; ++i) this.marked[i].detach(this);
-        }
-    };
-    // Utility used by replace and split above
-    function copyStyles(from, to, source, dest) {
-        for (var i = 0, pos = 0, state = 0; pos < to; i+=2) {
-            var part = source[i], end = pos + part.length;
-            if (state == 0) {
-                if (end > from) dest.push(part.slice(from - pos, Math.min(part.length, to - pos)), source[i+1]);
-                if (end >= from) state = 1;
-            }
-            else if (state == 1) {
-                if (end > to) dest.push(part.slice(0, to - pos), source[i+1]);
-                else dest.push(part, source[i+1]);
-            }
-            pos = end;
-        }
-    }
-
-    // Data structure that holds the sequence of lines.
-    function LeafChunk(lines) {
-        this.lines = lines;
-        this.parent = null;
-        for (var i = 0, e = lines.length, height = 0; i < e; ++i) {
-            lines[i].parent = this;
-            height += lines[i].height;
-        }
-        this.height = height;
-    }
-    LeafChunk.prototype = {
-        chunkSize: function() { return this.lines.length; },
-        remove: function(at, n, callbacks) {
-            for (var i = at, e = at + n; i < e; ++i) {
-                var line = this.lines[i];
-                this.height -= line.height;
-                line.cleanUp();
-                if (line.handlers)
-                    for (var j = 0; j < line.handlers.length; ++j) callbacks.push(line.handlers[j]);
-            }
-            this.lines.splice(at, n);
-        },
-        collapse: function(lines) {
-            lines.splice.apply(lines, [lines.length, 0].concat(this.lines));
-        },
-        insertHeight: function(at, lines, height) {
-            this.height += height;
-            this.lines.splice.apply(this.lines, [at, 0].concat(lines));
-            for (var i = 0, e = lines.length; i < e; ++i) lines[i].parent = this;
-        },
-        iterN: function(at, n, op) {
-            for (var e = at + n; at < e; ++at)
-                if (op(this.lines[at])) return true;
-        }
-    };
-    function BranchChunk(children) {
-        this.children = children;
-        var size = 0, height = 0;
-        for (var i = 0, e = children.length; i < e; ++i) {
-            var ch = children[i];
-            size += ch.chunkSize(); height += ch.height;
-            ch.parent = this;
-        }
-        this.size = size;
-        this.height = height;
-        this.parent = null;
-    }
-    BranchChunk.prototype = {
-        chunkSize: function() { return this.size; },
-        remove: function(at, n, callbacks) {
-            this.size -= n;
-            for (var i = 0; i < this.children.length; ++i) {
-                var child = this.children[i], sz = child.chunkSize();
-                if (at < sz) {
-                    var rm = Math.min(n, sz - at), oldHeight = child.height;
-                    child.remove(at, rm, callbacks);
-                    this.height -= oldHeight - child.height;
-                    if (sz == rm) { this.children.splice(i--, 1); child.parent = null; }
-                    if ((n -= rm) == 0) break;
-                    at = 0;
-                } else at -= sz;
-            }
-            if (this.size - n < 25) {
-                var lines = [];
-                this.collapse(lines);
-                this.children = [new LeafChunk(lines)];
-            }
-        },
-        collapse: function(lines) {
-            for (var i = 0, e = this.children.length; i < e; ++i) this.children[i].collapse(lines);
-        },
-        insert: function(at, lines) {
-            var height = 0;
-            for (var i = 0, e = lines.length; i < e; ++i) height += lines[i].height;
-            this.insertHeight(at, lines, height);
-        },
-        insertHeight: function(at, lines, height) {
-            this.size += lines.length;
-            this.height += height;
-            for (var i = 0, e = this.children.length; i < e; ++i) {
-                var child = this.children[i], sz = child.chunkSize();
-                if (at <= sz) {
-                    child.insertHeight(at, lines, height);
-                    if (child.lines && child.lines.length > 50) {
-                        while (child.lines.length > 50) {
-                            var spilled = child.lines.splice(child.lines.length - 25, 25);
-                            var newleaf = new LeafChunk(spilled);
-                            child.height -= newleaf.height;
-                            this.children.splice(i + 1, 0, newleaf);
-                            newleaf.parent = this;
-                        }
-                        this.maybeSpill();
-                    }
-                    break;
-                }
-                at -= sz;
-            }
-        },
-        maybeSpill: function() {
-            if (this.children.length <= 10) return;
-            var me = this;
-            do {
-                var spilled = me.children.splice(me.children.length - 5, 5);
-                var sibling = new BranchChunk(spilled);
-                if (!me.parent) { // Become the parent node
-                    var copy = new BranchChunk(me.children);
-                    copy.parent = me;
-                    me.children = [copy, sibling];
-                    me = copy;
-                } else {
-                    me.size -= sibling.size;
-                    me.height -= sibling.height;
-                    var myIndex = indexOf(me.parent.children, me);
-                    me.parent.children.splice(myIndex + 1, 0, sibling);
-                }
-                sibling.parent = me.parent;
-            } while (me.children.length > 10);
-            me.parent.maybeSpill();
-        },
-        iter: function(from, to, op) { this.iterN(from, to - from, op); },
-        iterN: function(at, n, op) {
-            for (var i = 0, e = this.children.length; i < e; ++i) {
-                var child = this.children[i], sz = child.chunkSize();
-                if (at < sz) {
-                    var used = Math.min(n, sz - at);
-                    if (child.iterN(at, used, op)) return true;
-                    if ((n -= used) == 0) break;
-                    at = 0;
-                } else at -= sz;
-            }
-        }
-    };
-
-    function getLineAt(chunk, n) {
-        while (!chunk.lines) {
-            for (var i = 0;; ++i) {
-                var child = chunk.children[i], sz = child.chunkSize();
-                if (n < sz) { chunk = child; break; }
-                n -= sz;
-            }
-        }
-        return chunk.lines[n];
-    }
-    function lineNo(line) {
-        if (line.parent == null) return null;
-        var cur = line.parent, no = indexOf(cur.lines, line);
-        for (var chunk = cur.parent; chunk; cur = chunk, chunk = chunk.parent) {
-            for (var i = 0, e = chunk.children.length; ; ++i) {
-                if (chunk.children[i] == cur) break;
-                no += chunk.children[i].chunkSize();
-            }
-        }
-        return no;
-    }
-    function lineAtHeight(chunk, h) {
-        var n = 0;
-        outer: do {
-            for (var i = 0, e = chunk.children.length; i < e; ++i) {
-                var child = chunk.children[i], ch = child.height;
-                if (h < ch) { chunk = child; continue outer; }
-                h -= ch;
-                n += child.chunkSize();
-            }
-            return n;
-        } while (!chunk.lines);
-        for (var i = 0, e = chunk.lines.length; i < e; ++i) {
-            var line = chunk.lines[i], lh = line.height;
-            if (h < lh) break;
-            h -= lh;
-        }
-        return n + i;
-    }
-    function heightAtLine(chunk, n) {
-        var h = 0;
-        outer: do {
-            for (var i = 0, e = chunk.children.length; i < e; ++i) {
-                var child = chunk.children[i], sz = child.chunkSize();
-                if (n < sz) { chunk = child; continue outer; }
-                n -= sz;
-                h += child.height;
-            }
-            return h;
-        } while (!chunk.lines);
-        for (var i = 0; i < n; ++i) h += chunk.lines[i].height;
-        return h;
-    }
-
-    // The history object 'chunks' changes that are made close together
-    // and at almost the same time into bigger undoable units.
-    function History() {
-        this.time = 0;
-        this.done = []; this.undone = [];
-    }
-    History.prototype = {
-        addChange: function(start, added, old) {
-            this.undone.length = 0;
-            var time = +new Date, last = this.done[this.done.length - 1];
-            if (time - this.time > 400 || !last ||
-                last.start > start + added || last.start + last.added < start - last.added + last.old.length)
-                this.done.push({start: start, added: added, old: old});
-            else {
-                var oldoff = 0;
-                if (start < last.start) {
-                    for (var i = last.start - start - 1; i >= 0; --i)
-                        last.old.unshift(old[i]);
-                    last.added += last.start - start;
-                    last.start = start;
-                }
-                else if (last.start < start) {
-                    oldoff = start - last.start;
-                    added += oldoff;
-                }
-                for (var i = last.added - oldoff, e = old.length; i < e; ++i)
-                    last.old.push(old[i]);
-                if (last.added < added) last.added = added;
-            }
-            this.time = time;
-        }
-    };
-
-    function stopMethod() {e_stop(this);}
-    // Ensure an event has a stop method.
-    function addStop(event) {
-        if (!event.stop) event.stop = stopMethod;
-        return event;
-    }
-
-    function e_preventDefault(e) {
-        if (e.preventDefault) e.preventDefault();
-        else e.returnValue = false;
-    }
-    function e_stopPropagation(e) {
-        if (e.stopPropagation) e.stopPropagation();
-        else e.cancelBubble = true;
-    }
-    function e_stop(e) {e_preventDefault(e); e_stopPropagation(e);}
-    CodeMirror.e_stop = e_stop;
-    CodeMirror.e_preventDefault = e_preventDefault;
-    CodeMirror.e_stopPropagation = e_stopPropagation;
-
-    function e_target(e) {return e.target || e.srcElement;}
-    function e_button(e) {
-        if (e.which) return e.which;
-        else if (e.button & 1) return 1;
-        else if (e.button & 2) return 3;
-        else if (e.button & 4) return 2;
-    }
-
-    // Event handler registration. If disconnect is true, it'll return a
-    // function that unregisters the handler.
-    function connect(node, type, handler, disconnect) {
-        if (typeof node.addEventListener == "function") {
-            node.addEventListener(type, handler, false);
-            if (disconnect) return function() {node.removeEventListener(type, handler, false);};
-        }
-        else {
-            var wrapHandler = function(event) {handler(event || window.event);};
-            node.attachEvent("on" + type, wrapHandler);
-            if (disconnect) return function() {node.detachEvent("on" + type, wrapHandler);};
-        }
-    }
-    CodeMirror.connect = connect;
-
-    function Delayed() {this.id = null;}
-    Delayed.prototype = {set: function(ms, f) {clearTimeout(this.id); this.id = setTimeout(f, ms);}};
-
-    // Detect drag-and-drop
-    var dragAndDrop = function() {
-        // IE8 has ondragstart and ondrop properties, but doesn't seem to
-        // actually support ondragstart the way it's supposed to work.
-        if (/MSIE [1-8]\b/.test(navigator.userAgent)) return false;
-        var div = document.createElement('div');
-        return "draggable" in div;
-    }();
-
-    var gecko = /gecko\/\d{7}/i.test(navigator.userAgent);
-    var ie = /MSIE \d/.test(navigator.userAgent);
-    var webkit = /WebKit\//.test(navigator.userAgent);
-
-    var lineSep = "\n";
-    // Feature-detect whether newlines in textareas are converted to \r\n
-    (function () {
-        var te = document.createElement("textarea");
-        te.value = "foo\nbar";
-        if (te.value.indexOf("\r") > -1) lineSep = "\r\n";
-    }());
-
-    // Counts the column offset in a string, taking tabs into account.
-    // Used mostly to find indentation.
-    function countColumn(string, end, tabSize) {
-        if (end == null) {
-            end = string.search(/[^\s\u00a0]/);
-            if (end == -1) end = string.length;
-        }
-        for (var i = 0, n = 0; i < end; ++i) {
-            if (string.charAt(i) == "\t") n += tabSize - (n % tabSize);
-            else ++n;
-        }
-        return n;
-    }
-
-    function computedStyle(elt) {
-        if (elt.currentStyle) return elt.currentStyle;
-        return window.getComputedStyle(elt, null);
-    }
-
-    // Find the position of an element by following the offsetParent chain.
-    // If screen==true, it returns screen (rather than page) coordinates.
-    function eltOffset(node, screen) {
-        var bod = node.ownerDocument.body;
-        var x = 0, y = 0, skipBody = false;
-        for (var n = node; n; n = n.offsetParent) {
-            var ol = n.offsetLeft, ot = n.offsetTop;
-            // Firefox reports weird inverted offsets when the body has a border.
-            if (n == bod) { x += Math.abs(ol); y += Math.abs(ot); }
-            else { x += ol, y += ot; }
-            if (screen && computedStyle(n).position == "fixed")
-                skipBody = true;
-        }
-        var e = screen && !skipBody ? null : bod;
-        for (var n = node.parentNode; n != e; n = n.parentNode)
-            if (n.scrollLeft != null) { x -= n.scrollLeft; y -= n.scrollTop;}
-        return {left: x, top: y};
-    }
-    // Use the faster and saner getBoundingClientRect method when possible.
-    if (document.documentElement.getBoundingClientRect != null) eltOffset = function(node, screen) {
-        // Take the parts of bounding client rect that we are interested in so we are able to edit if need be,
-        // since the returned value cannot be changed externally (they are kept in sync as the element moves within the page)
-        try { var box = node.getBoundingClientRect(); box = { top: box.top, left: box.left }; }
-        catch(e) { box = {top: 0, left: 0}; }
-        if (!screen) {
-            // Get the toplevel scroll, working around browser differences.
-            if (window.pageYOffset == null) {
-                var t = document.documentElement || document.body.parentNode;
-                if (t.scrollTop == null) t = document.body;
-                box.top += t.scrollTop; box.left += t.scrollLeft;
-            } else {
-                box.top += window.pageYOffset; box.left += window.pageXOffset;
-            }
-        }
-        return box;
-    };
-
-    // Get a node's text content.
-    function eltText(node) {
-        return node.textContent || node.innerText || node.nodeValue || "";
-    }
-
-    // Operations on {line, ch} objects.
-    function posEq(a, b) {return a.line == b.line && a.ch == b.ch;}
-    function posLess(a, b) {return a.line < b.line || (a.line == b.line && a.ch < b.ch);}
-    function copyPos(x) {return {line: x.line, ch: x.ch};}
-
-    var escapeElement = document.createElement("pre");
-    function htmlEscape(str) {
-        escapeElement.textContent = str;
-        return escapeElement.innerHTML;
-    }
-    // Recent (late 2011) Opera betas insert bogus newlines at the start
-    // of the textContent, so we strip those.
-    if (htmlEscape("a") == "\na")
-        htmlEscape = function(str) {
-            escapeElement.textContent = str;
-            return escapeElement.innerHTML.slice(1);
-        };
-    // Some IEs don't preserve tabs through innerHTML
-    else if (htmlEscape("\t") != "\t")
-        htmlEscape = function(str) {
-            escapeElement.innerHTML = "";
-            escapeElement.appendChild(document.createTextNode(str));
-            return escapeElement.innerHTML;
-        };
-    CodeMirror.htmlEscape = htmlEscape;
-
-    // Used to position the cursor after an undo/redo by finding the
-    // last edited character.
-    function editEnd(from, to) {
-        if (!to) return from ? from.length : 0;
-        if (!from) return to.length;
-        for (var i = from.length, j = to.length; i >= 0 && j >= 0; --i, --j)
-            if (from.charAt(i) != to.charAt(j)) break;
-        return j + 1;
-    }
-
-    function indexOf(collection, elt) {
-        if (collection.indexOf) return collection.indexOf(elt);
-        for (var i = 0, e = collection.length; i < e; ++i)
-            if (collection[i] == elt) return i;
-        return -1;
-    }
-    function isWordChar(ch) {
-        return /\w/.test(ch) || ch.toUpperCase() != ch.toLowerCase();
-    }
-
-    // See if "".split is the broken IE version, if so, provide an
-    // alternative way to split lines.
-    var splitLines = "\n\nb".split(/\n/).length != 3 ? function(string) {
-        var pos = 0, nl, result = [];
-        while ((nl = string.indexOf("\n", pos)) > -1) {
-            result.push(string.slice(pos, string.charAt(nl-1) == "\r" ? nl - 1 : nl));
-            pos = nl + 1;
-        }
-        result.push(string.slice(pos));
-        return result;
-    } : function(string){return string.split(/\r?\n/);};
-    CodeMirror.splitLines = splitLines;
-
-    var hasSelection = window.getSelection ? function(te) {
-        try { return te.selectionStart != te.selectionEnd; }
-        catch(e) { return false; }
-    } : function(te) {
-        try {var range = te.ownerDocument.selection.createRange();}
-        catch(e) {}
-        if (!range || range.parentElement() != te) return false;
-        return range.compareEndPoints("StartToEnd", range) != 0;
-    };
-
-    CodeMirror.defineMode("null", function() {
-        return {token: function(stream) {stream.skipToEnd();}};
-    });
-    CodeMirror.defineMIME("text/plain", "null");
-
-    var keyNames = {3: "Enter", 8: "Backspace", 9: "Tab", 13: "Enter", 16: "Shift", 17: "Ctrl", 18: "Alt",
-        19: "Pause", 20: "CapsLock", 27: "Esc", 32: "Space", 33: "PageUp", 34: "PageDown", 35: "End",
-        36: "Home", 37: "Left", 38: "Up", 39: "Right", 40: "Down", 44: "PrintScrn", 45: "Insert",
-        46: "Delete", 59: ";", 91: "Mod", 92: "Mod", 93: "Mod", 186: ";", 187: "=", 188: ",",
-        189: "-", 190: ".", 191: "/", 192: "`", 219: "[", 220: "\\", 221: "]", 222: "'", 63276: "PageUp",
-        63277: "PageDown", 63275: "End", 63273: "Home", 63234: "Left", 63232: "Up", 63235: "Right",
-        63233: "Down", 63302: "Insert", 63272: "Delete"};
-    CodeMirror.keyNames = keyNames;
-    (function() {
-        // Number keys
-        for (var i = 0; i < 10; i++) keyNames[i + 48] = String(i);
-        // Alphabetic keys
-        for (var i = 65; i <= 90; i++) keyNames[i] = String.fromCharCode(i);
-        // Function keys
-        for (var i = 1; i <= 12; i++) keyNames[i + 111] = keyNames[i + 63235] = "F" + i;
-    })();
-
-    return CodeMirror;
-})();
-CodeMirror.defineMode("xml", function(config, parserConfig) {
-    var indentUnit = config.indentUnit;
-    var Kludges = parserConfig.htmlMode ? {
-        autoSelfClosers: {"br": true, "img": true, "hr": true, "link": true, "input": true,
-            "meta": true, "col": true, "frame": true, "base": true, "area": true},
-        doNotIndent: {"pre": true},
-        allowUnquoted: true
-    } : {autoSelfClosers: {}, doNotIndent: {}, allowUnquoted: false};
-    var alignCDATA = parserConfig.alignCDATA;
-
-    // Return variables for tokenizers
-    var tagName, type;
-
-    function inText(stream, state) {
-        function chain(parser) {
-            state.tokenize = parser;
-            return parser(stream, state);
-        }
-
-        var ch = stream.next();
-        if (ch == "<") {
-            if (stream.eat("!")) {
-                if (stream.eat("[")) {
-                    if (stream.match("CDATA[")) return chain(inBlock("atom", "]]>"));
-                    else return null;
-                }
-                else if (stream.match("--")) return chain(inBlock("comment", "-->"));
-                else if (stream.match("DOCTYPE", true, true)) {
-                    stream.eatWhile(/[\w\._\-]/);
-                    return chain(doctype(1));
-                }
-                else return null;
-            }
-            else if (stream.eat("?")) {
-                stream.eatWhile(/[\w\._\-]/);
-                state.tokenize = inBlock("meta", "?>");
-                return "meta";
-            }
-            else {
-                type = stream.eat("/") ? "closeTag" : "openTag";
-                stream.eatSpace();
-                tagName = "";
-                var c;
-                while ((c = stream.eat(/[^\s\u00a0=<>\"\'\/?]/))) tagName += c;
-                state.tokenize = inTag;
-                return "tag";
-            }
-        }
-        else if (ch == "&") {
-            stream.eatWhile(/[^;]/);
-            stream.eat(";");
-            return "atom";
-        }
-        else {
-            stream.eatWhile(/[^&<]/);
-            return null;
-        }
-    }
-
-    function inTag(stream, state) {
-        var ch = stream.next();
-        if (ch == ">" || (ch == "/" && stream.eat(">"))) {
-            state.tokenize = inText;
-            type = ch == ">" ? "endTag" : "selfcloseTag";
-            return "tag";
-        }
-        else if (ch == "=") {
-            type = "equals";
-            return null;
-        }
-        else if (/[\'\"]/.test(ch)) {
-            state.tokenize = inAttribute(ch);
-            return state.tokenize(stream, state);
-        }
-        else {
-            stream.eatWhile(/[^\s\u00a0=<>\"\'\/?]/);
-            return "word";
-        }
-    }
-
-    function inAttribute(quote) {
-        return function(stream, state) {
-            while (!stream.eol()) {
-                if (stream.next() == quote) {
-                    state.tokenize = inTag;
-                    break;
-                }
-            }
-            return "string";
-        };
-    }
-
-    function inBlock(style, terminator) {
-        return function(stream, state) {
-            while (!stream.eol()) {
-                if (stream.match(terminator)) {
-                    state.tokenize = inText;
-                    break;
-                }
-                stream.next();
-            }
-            return style;
-        };
-    }
-    function doctype(depth) {
-        return function(stream, state) {
-            var ch;
-            while ((ch = stream.next()) != null) {
-                if (ch == "<") {
-                    state.tokenize = doctype(depth + 1);
-                    return state.tokenize(stream, state);
-                } else if (ch == ">") {
-                    if (depth == 1) {
-                        state.tokenize = inText;
-                        break;
-                    } else {
-                        state.tokenize = doctype(depth - 1);
-                        return state.tokenize(stream, state);
-                    }
-                }
-            }
-            return "meta";
-        };
-    }
-
-    var curState, setStyle;
-    function pass() {
-        for (var i = arguments.length - 1; i >= 0; i--) curState.cc.push(arguments[i]);
-    }
-    function cont() {
-        pass.apply(null, arguments);
-        return true;
-    }
-
-    function pushContext(tagName, startOfLine) {
-        var noIndent = Kludges.doNotIndent.hasOwnProperty(tagName) || (curState.context && curState.context.noIndent);
-        curState.context = {
-            prev: curState.context,
-            tagName: tagName,
-            indent: curState.indented,
-            startOfLine: startOfLine,
-            noIndent: noIndent
-        };
-    }
-    function popContext() {
-        if (curState.context) curState.context = curState.context.prev;
-    }
-
-    function element(type) {
-        if (type == "openTag") {
-            curState.tagName = tagName;
-            return cont(attributes, endtag(curState.startOfLine));
-        } else if (type == "closeTag") {
-            var err = false;
-            if (curState.context) {
-                err = curState.context.tagName != tagName;
-            } else {
-                err = true;
-            }
-            if (err) setStyle = "error";
-            return cont(endclosetag(err));
-        }
-        return cont();
-    }
-    function endtag(startOfLine) {
-        return function(type) {
-            if (type == "selfcloseTag" ||
-                (type == "endTag" && Kludges.autoSelfClosers.hasOwnProperty(curState.tagName.toLowerCase())))
-                return cont();
-            if (type == "endTag") {pushContext(curState.tagName, startOfLine); return cont();}
-            return cont();
-        };
-    }
-    function endclosetag(err) {
-        return function(type) {
-            if (err) setStyle = "error";
-            if (type == "endTag") { popContext(); return cont(); }
-            setStyle = "error";
-            return cont(arguments.callee);
-        }
-    }
-
-    function attributes(type) {
-        if (type == "word") {setStyle = "attribute"; return cont(attributes);}
-        if (type == "equals") return cont(attvalue, attributes);
-        if (type == "string") {setStyle = "error"; return cont(attributes);}
-        return pass();
-    }
-    function attvalue(type) {
-        if (type == "word" && Kludges.allowUnquoted) {setStyle = "string"; return cont();}
-        if (type == "string") return cont(attvaluemaybe);
-        return pass();
-    }
-    function attvaluemaybe(type) {
-        if (type == "string") return cont(attvaluemaybe);
-        else return pass();
-    }
-
-    return {
-        startState: function() {
-            return {tokenize: inText, cc: [], indented: 0, startOfLine: true, tagName: null, context: null};
-        },
-
-        token: function(stream, state) {
-            if (stream.sol()) {
-                state.startOfLine = true;
-                state.indented = stream.indentation();
-            }
-            if (stream.eatSpace()) return null;
-
-            setStyle = type = tagName = null;
-            var style = state.tokenize(stream, state);
-            state.type = type;
-            if ((style || type) && style != "comment") {
-                curState = state;
-                while (true) {
-                    var comb = state.cc.pop() || element;
-                    if (comb(type || style)) break;
-                }
-            }
-            state.startOfLine = false;
-            return setStyle || style;
-        },
-
-        indent: function(state, textAfter, fullLine) {
-            var context = state.context;
-            if ((state.tokenize != inTag && state.tokenize != inText) ||
-                context && context.noIndent)
-                return fullLine ? fullLine.match(/^(\s*)/)[0].length : 0;
-            if (alignCDATA && /<!\[CDATA\[/.test(textAfter)) return 0;
-            if (context && /^<\//.test(textAfter))
-                context = context.prev;
-            while (context && !context.startOfLine)
-                context = context.prev;
-            if (context) return context.indent + indentUnit;
-            else return 0;
-        },
-
-        compareStates: function(a, b) {
-            if (a.indented != b.indented || a.tokenize != b.tokenize) return false;
-            for (var ca = a.context, cb = b.context; ; ca = ca.prev, cb = cb.prev) {
-                if (!ca || !cb) return ca == cb;
-                if (ca.tagName != cb.tagName) return false;
-            }
-        },
-
-        electricChars: "/"
-    };
-});
-
-CodeMirror.defineMIME("application/xml", "xml");
-CodeMirror.defineMIME("text/html", {name: "xml", htmlMode: true});
-CodeMirror.defineMode("javascript", function(config, parserConfig) {
-    var indentUnit = config.indentUnit;
-    var jsonMode = parserConfig.json;
-
-    // Tokenizer
-
-    var keywords = function(){
-        function kw(type) {return {type: type, style: "keyword"};}
-        var A = kw("keyword a"), B = kw("keyword b"), C = kw("keyword c");
-        var operator = kw("operator"), atom = {type: "atom", style: "atom"};
-        return {
-            "if": A, "while": A, "with": A, "else": B, "do": B, "try": B, "finally": B,
-            "return": C, "break": C, "continue": C, "new": C, "delete": C, "throw": C,
-            "var": kw("var"), "const": kw("var"), "let": kw("var"),
-            "function": kw("function"), "catch": kw("catch"),
-            "for": kw("for"), "switch": kw("switch"), "case": kw("case"), "default": kw("default"),
-            "in": operator, "typeof": operator, "instanceof": operator,
-            "true": atom, "false": atom, "null": atom, "undefined": atom, "NaN": atom, "Infinity": atom
-        };
-    }();
-
-    var isOperatorChar = /[+\-*&%=<>!?|]/;
-
-    function chain(stream, state, f) {
-        state.tokenize = f;
-        return f(stream, state);
-    }
-
-    function nextUntilUnescaped(stream, end) {
-        var escaped = false, next;
-        while ((next = stream.next()) != null) {
-            if (next == end && !escaped)
-                return false;
-            escaped = !escaped && next == "\\";
-        }
-        return escaped;
-    }
-
-    // Used as scratch variables to communicate multiple values without
-    // consing up tons of objects.
-    var type, content;
-    function ret(tp, style, cont) {
-        type = tp; content = cont;
-        return style;
-    }
-
-    function jsTokenBase(stream, state) {
-        var ch = stream.next();
-        if (ch == '"' || ch == "'")
-            return chain(stream, state, jsTokenString(ch));
-        else if (/[\[\]{}\(\),;\:\.]/.test(ch))
-            return ret(ch);
-        else if (ch == "0" && stream.eat(/x/i)) {
-            stream.eatWhile(/[\da-f]/i);
-            return ret("number", "number");
-        }
-        else if (/\d/.test(ch)) {
-            stream.match(/^\d*(?:\.\d*)?(?:[eE][+\-]?\d+)?/);
-            return ret("number", "number");
-        }
-        else if (ch == "/") {
-            if (stream.eat("*")) {
-                return chain(stream, state, jsTokenComment);
-            }
-            else if (stream.eat("/")) {
-                stream.skipToEnd();
-                return ret("comment", "comment");
-            }
-            else if (state.reAllowed) {
-                nextUntilUnescaped(stream, "/");
-                stream.eatWhile(/[gimy]/); // 'y' is "sticky" option in Mozilla
-                return ret("regexp", "string");
-            }
-            else {
-                stream.eatWhile(isOperatorChar);
-                return ret("operator", null, stream.current());
-            }
-        }
-        else if (ch == "#") {
-            stream.skipToEnd();
-            return ret("error", "error");
-        }
-        else if (isOperatorChar.test(ch)) {
-            stream.eatWhile(isOperatorChar);
-            return ret("operator", null, stream.current());
-        }
-        else {
-            stream.eatWhile(/[\w\$_]/);
-            var word = stream.current(), known = keywords.propertyIsEnumerable(word) && keywords[word];
-            return (known && state.kwAllowed) ? ret(known.type, known.style, word) :
-                ret("variable", "variable", word);
-        }
-    }
-
-    function jsTokenString(quote) {
-        return function(stream, state) {
-            if (!nextUntilUnescaped(stream, quote))
-                state.tokenize = jsTokenBase;
-            return ret("string", "string");
-        };
-    }
-
-    function jsTokenComment(stream, state) {
-        var maybeEnd = false, ch;
-        while (ch = stream.next()) {
-            if (ch == "/" && maybeEnd) {
-                state.tokenize = jsTokenBase;
-                break;
-            }
-            maybeEnd = (ch == "*");
-        }
-        return ret("comment", "comment");
-    }
-
-    // Parser
-
-    var atomicTypes = {"atom": true, "number": true, "variable": true, "string": true, "regexp": true};
-
-    function JSLexical(indented, column, type, align, prev, info) {
-        this.indented = indented;
-        this.column = column;
-        this.type = type;
-        this.prev = prev;
-        this.info = info;
-        if (align != null) this.align = align;
-    }
-
-    function inScope(state, varname) {
-        for (var v = state.localVars; v; v = v.next)
-            if (v.name == varname) return true;
-    }
-
-    function parseJS(state, style, type, content, stream) {
-        var cc = state.cc;
-        // Communicate our context to the combinators.
-        // (Less wasteful than consing up a hundred closures on every call.)
-        cx.state = state; cx.stream = stream; cx.marked = null, cx.cc = cc;
-
-        if (!state.lexical.hasOwnProperty("align"))
-            state.lexical.align = true;
-
-        while(true) {
-            var combinator = cc.length ? cc.pop() : jsonMode ? expression : statement;
-            if (combinator(type, content)) {
-                while(cc.length && cc[cc.length - 1].lex)
-                    cc.pop()();
-                if (cx.marked) return cx.marked;
-                if (type == "variable" && inScope(state, content)) return "variable-2";
-                return style;
-            }
-        }
-    }
-
-    // Combinator utils
-
-    var cx = {state: null, column: null, marked: null, cc: null};
-    function pass() {
-        for (var i = arguments.length - 1; i >= 0; i--) cx.cc.push(arguments[i]);
-    }
-    function cont() {
-        pass.apply(null, arguments);
-        return true;
-    }
-    function register(varname) {
-        var state = cx.state;
-        if (state.context) {
-            cx.marked = "def";
-            for (var v = state.localVars; v; v = v.next)
-                if (v.name == varname) return;
-            state.localVars = {name: varname, next: state.localVars};
-        }
-    }
-
-    // Combinators
-
-    var defaultVars = {name: "this", next: {name: "arguments"}};
-    function pushcontext() {
-        if (!cx.state.context) cx.state.localVars = defaultVars;
-        cx.state.context = {prev: cx.state.context, vars: cx.state.localVars};
-    }
-    function popcontext() {
-        cx.state.localVars = cx.state.context.vars;
-        cx.state.context = cx.state.context.prev;
-    }
-    function pushlex(type, info) {
-        var result = function() {
-            var state = cx.state;
-            state.lexical = new JSLexical(state.indented, cx.stream.column(), type, null, state.lexical, info)
-        };
-        result.lex = true;
-        return result;
-    }
-    function poplex() {
-        var state = cx.state;
-        if (state.lexical.prev) {
-            if (state.lexical.type == ")")
-                state.indented = state.lexical.indented;
-            state.lexical = state.lexical.prev;
-        }
-    }
-    poplex.lex = true;
-
-    function expect(wanted) {
-        return function expecting(type) {
-            if (type == wanted) return cont();
-            else if (wanted == ";") return pass();
-            else return cont(arguments.callee);
-        };
-    }
-
-    function statement(type) {
-        if (type == "var") return cont(pushlex("vardef"), vardef1, expect(";"), poplex);
-        if (type == "keyword a") return cont(pushlex("form"), expression, statement, poplex);
-        if (type == "keyword b") return cont(pushlex("form"), statement, poplex);
-        if (type == "{") return cont(pushlex("}"), block, poplex);
-        if (type == ";") return cont();
-        if (type == "function") return cont(functiondef);
-        if (type == "for") return cont(pushlex("form"), expect("("), pushlex(")"), forspec1, expect(")"),
-            poplex, statement, poplex);
-        if (type == "variable") return cont(pushlex("stat"), maybelabel);
-        if (type == "switch") return cont(pushlex("form"), expression, pushlex("}", "switch"), expect("{"),
-            block, poplex, poplex);
-        if (type == "case") return cont(expression, expect(":"));
-        if (type == "default") return cont(expect(":"));
-        if (type == "catch") return cont(pushlex("form"), pushcontext, expect("("), funarg, expect(")"),
-            statement, poplex, popcontext);
-        return pass(pushlex("stat"), expression, expect(";"), poplex);
-    }
-    function expression(type) {
-        if (atomicTypes.hasOwnProperty(type)) return cont(maybeoperator);
-        if (type == "function") return cont(functiondef);
-        if (type == "keyword c") return cont(maybeexpression);
-        if (type == "(") return cont(pushlex(")"), expression, expect(")"), poplex, maybeoperator);
-        if (type == "operator") return cont(expression);
-        if (type == "[") return cont(pushlex("]"), commasep(expression, "]"), poplex, maybeoperator);
-        if (type == "{") return cont(pushlex("}"), commasep(objprop, "}"), poplex, maybeoperator);
-        return cont();
-    }
-    function maybeexpression(type) {
-        if (type.match(/[;\}\)\],]/)) return pass();
-        return pass(expression);
-    }
-
-    function maybeoperator(type, value) {
-        if (type == "operator" && /\+\+|--/.test(value)) return cont(maybeoperator);
-        if (type == "operator") return cont(expression);
-        if (type == ";") return;
-        if (type == "(") return cont(pushlex(")"), commasep(expression, ")"), poplex, maybeoperator);
-        if (type == ".") return cont(property, maybeoperator);
-        if (type == "[") return cont(pushlex("]"), expression, expect("]"), poplex, maybeoperator);
-    }
-    function maybelabel(type) {
-        if (type == ":") return cont(poplex, statement);
-        return pass(maybeoperator, expect(";"), poplex);
-    }
-    function property(type) {
-        if (type == "variable") {cx.marked = "property"; return cont();}
-    }
-    function objprop(type) {
-        if (type == "variable") cx.marked = "property";
-        if (atomicTypes.hasOwnProperty(type)) return cont(expect(":"), expression);
-    }
-    function commasep(what, end) {
-        function proceed(type) {
-            if (type == ",") return cont(what, proceed);
-            if (type == end) return cont();
-            return cont(expect(end));
-        }
-        return function commaSeparated(type) {
-            if (type == end) return cont();
-            else return pass(what, proceed);
-        };
-    }
-    function block(type) {
-        if (type == "}") return cont();
-        return pass(statement, block);
-    }
-    function vardef1(type, value) {
-        if (type == "variable"){register(value); return cont(vardef2);}
-        return cont();
-    }
-    function vardef2(type, value) {
-        if (value == "=") return cont(expression, vardef2);
-        if (type == ",") return cont(vardef1);
-    }
-    function forspec1(type) {
-        if (type == "var") return cont(vardef1, forspec2);
-        if (type == ";") return pass(forspec2);
-        if (type == "variable") return cont(formaybein);
-        return pass(forspec2);
-    }
-    function formaybein(type, value) {
-        if (value == "in") return cont(expression);
-        return cont(maybeoperator, forspec2);
-    }
-    function forspec2(type, value) {
-        if (type == ";") return cont(forspec3);
-        if (value == "in") return cont(expression);
-        return cont(expression, expect(";"), forspec3);
-    }
-    function forspec3(type) {
-        if (type != ")") cont(expression);
-    }
-    function functiondef(type, value) {
-        if (type == "variable") {register(value); return cont(functiondef);}
-        if (type == "(") return cont(pushlex(")"), pushcontext, commasep(funarg, ")"), poplex, statement, popcontext);
-    }
-    function funarg(type, value) {
-        if (type == "variable") {register(value); return cont();}
-    }
-
-    // Interface
-
-    return {
-        startState: function(basecolumn) {
-            return {
-                tokenize: jsTokenBase,
-                reAllowed: true,
-                kwAllowed: true,
-                cc: [],
-                lexical: new JSLexical((basecolumn || 0) - indentUnit, 0, "block", false),
-                localVars: null,
-                context: null,
-                indented: 0
-            };
-        },
-
-        token: function(stream, state) {
-            if (stream.sol()) {
-                if (!state.lexical.hasOwnProperty("align"))
-                    state.lexical.align = false;
-                state.indented = stream.indentation();
-            }
-            if (stream.eatSpace()) return null;
-            var style = state.tokenize(stream, state);
-            if (type == "comment") return style;
-            state.reAllowed = type == "operator" || type == "keyword c" || type.match(/^[\[{}\(,;:]$/);
-            state.kwAllowed = type != '.';
-            return parseJS(state, style, type, content, stream);
-        },
-
-        indent: function(state, textAfter) {
-            if (state.tokenize != jsTokenBase) return 0;
-            var firstChar = textAfter && textAfter.charAt(0), lexical = state.lexical,
-                type = lexical.type, closing = firstChar == type;
-            if (type == "vardef") return lexical.indented + 4;
-            else if (type == "form" && firstChar == "{") return lexical.indented;
-            else if (type == "stat" || type == "form") return lexical.indented + indentUnit;
-            else if (lexical.info == "switch" && !closing)
-                return lexical.indented + (/^(?:case|default)\b/.test(textAfter) ? indentUnit : 2 * indentUnit);
-            else if (lexical.align) return lexical.column + (closing ? 0 : 1);
-            else return lexical.indented + (closing ? 0 : indentUnit);
-        },
-
-        electricChars: ":{}"
-    };
-});
-
-CodeMirror.defineMIME("text/javascript", "javascript");
-CodeMirror.defineMIME("application/json", {name: "javascript", json: true});
-
-CodeMirror.defineMode("css", function(config) {
-    var indentUnit = config.indentUnit, type;
-    function ret(style, tp) {type = tp; return style;}
-
-    function tokenBase(stream, state) {
-        var ch = stream.next();
-        if (ch == "@") {stream.eatWhile(/[\w\\\-]/); return ret("meta", stream.current());}
-        else if (ch == "/" && stream.eat("*")) {
-            state.tokenize = tokenCComment;
-            return tokenCComment(stream, state);
-        }
-        else if (ch == "<" && stream.eat("!")) {
-            state.tokenize = tokenSGMLComment;
-            return tokenSGMLComment(stream, state);
-        }
-        else if (ch == "=") ret(null, "compare");
-        else if ((ch == "~" || ch == "|") && stream.eat("=")) return ret(null, "compare");
-        else if (ch == "\"" || ch == "'") {
-            state.tokenize = tokenString(ch);
-            return state.tokenize(stream, state);
-        }
-        else if (ch == "#") {
-            stream.eatWhile(/[\w\\\-]/);
-            return ret("atom", "hash");
-        }
-        else if (ch == "!") {
-            stream.match(/^\s*\w*/);
-            return ret("keyword", "important");
-        }
-        else if (/\d/.test(ch)) {
-            stream.eatWhile(/[\w.%]/);
-            return ret("number", "unit");
-        }
-        else if (/[,.+>*\/]/.test(ch)) {
-            return ret(null, "select-op");
-        }
-        else if (/[;{}:\[\]]/.test(ch)) {
-            return ret(null, ch);
-        }
-        else {
-            stream.eatWhile(/[\w\\\-]/);
-            return ret("variable", "variable");
-        }
-    }
-
-    function tokenCComment(stream, state) {
-        var maybeEnd = false, ch;
-        while ((ch = stream.next()) != null) {
-            if (maybeEnd && ch == "/") {
-                state.tokenize = tokenBase;
-                break;
-            }
-            maybeEnd = (ch == "*");
-        }
-        return ret("comment", "comment");
-    }
-
-    function tokenSGMLComment(stream, state) {
-        var dashes = 0, ch;
-        while ((ch = stream.next()) != null) {
-            if (dashes >= 2 && ch == ">") {
-                state.tokenize = tokenBase;
-                break;
-            }
-            dashes = (ch == "-") ? dashes + 1 : 0;
-        }
-        return ret("comment", "comment");
-    }
-
-    function tokenString(quote) {
-        return function(stream, state) {
-            var escaped = false, ch;
-            while ((ch = stream.next()) != null) {
-                if (ch == quote && !escaped)
-                    break;
-                escaped = !escaped && ch == "\\";
-            }
-            if (!escaped) state.tokenize = tokenBase;
-            return ret("string", "string");
-        };
-    }
-
-    return {
-        startState: function(base) {
-            return {tokenize: tokenBase,
-                baseIndent: base || 0,
-                stack: []};
-        },
-
-        token: function(stream, state) {
-            if (stream.eatSpace()) return null;
-            var style = state.tokenize(stream, state);
-
-            var context = state.stack[state.stack.length-1];
-            if (type == "hash" && context == "rule") style = "atom";
-            else if (style == "variable") {
-                if (context == "rule") style = "number";
-                else if (!context || context == "@media{") style = "tag";
-            }
-
-            if (context == "rule" && /^[\{\};]$/.test(type))
-                state.stack.pop();
-            if (type == "{") {
-                if (context == "@media") state.stack[state.stack.length-1] = "@media{";
-                else state.stack.push("{");
-            }
-            else if (type == "}") state.stack.pop();
-            else if (type == "@media") state.stack.push("@media");
-            else if (context == "{" && type != "comment") state.stack.push("rule");
-            return style;
-        },
-
-        indent: function(state, textAfter) {
-            var n = state.stack.length;
-            if (/^\}/.test(textAfter))
-                n -= state.stack[state.stack.length-1] == "rule" ? 2 : 1;
-            return state.baseIndent + n * indentUnit;
-        },
-
-        electricChars: "}"
-    };
-});
-
-CodeMirror.defineMIME("text/css", "css");
-CodeMirror.defineMode("htmlmixed", function(config, parserConfig) {
-    var htmlMode = CodeMirror.getMode(config, {name: "xml", htmlMode: true});
-    var jsMode = CodeMirror.getMode(config, "javascript");
-    var cssMode = CodeMirror.getMode(config, "css");
-
-    function html(stream, state) {
-        var style = htmlMode.token(stream, state.htmlState);
-        if (style == "tag" && stream.current() == ">" && state.htmlState.context) {
-            if (/^script$/i.test(state.htmlState.context.tagName)) {
-                state.token = javascript;
-                state.localState = jsMode.startState(htmlMode.indent(state.htmlState, ""));
-                state.mode = "javascript";
-            }
-            else if (/^style$/i.test(state.htmlState.context.tagName)) {
-                state.token = css;
-                state.localState = cssMode.startState(htmlMode.indent(state.htmlState, ""));
-                state.mode = "css";
-            }
-        }
-        return style;
-    }
-    function maybeBackup(stream, pat, style) {
-        var cur = stream.current();
-        var close = cur.search(pat);
-        if (close > -1) stream.backUp(cur.length - close);
-        return style;
-    }
-    function javascript(stream, state) {
-        if (stream.match(/^<\/\s*script\s*>/i, false)) {
-            state.token = html;
-            state.curState = null;
-            state.mode = "html";
-            return html(stream, state);
-        }
-        return maybeBackup(stream, /<\/\s*script\s*>/,
-            jsMode.token(stream, state.localState));
-    }
-    function css(stream, state) {
-        if (stream.match(/^<\/\s*style\s*>/i, false)) {
-            state.token = html;
-            state.localState = null;
-            state.mode = "html";
-            return html(stream, state);
-        }
-        return maybeBackup(stream, /<\/\s*style\s*>/,
-            cssMode.token(stream, state.localState));
-    }
-
-    return {
-        startState: function() {
-            var state = htmlMode.startState();
-            return {token: html, localState: null, mode: "html", htmlState: state};
-        },
-
-        copyState: function(state) {
-            if (state.localState)
-                var local = CodeMirror.copyState(state.token == css ? cssMode : jsMode, state.localState);
-            return {token: state.token, localState: local, mode: state.mode,
-                htmlState: CodeMirror.copyState(htmlMode, state.htmlState)};
-        },
-
-        token: function(stream, state) {
-            return state.token(stream, state);
-        },
-
-        indent: function(state, textAfter) {
-            if (state.token == html || /^\s*<\//.test(textAfter))
-                return htmlMode.indent(state.htmlState, textAfter);
-            else if (state.token == javascript)
-                return jsMode.indent(state.localState, textAfter);
-            else
-                return cssMode.indent(state.localState, textAfter);
-        },
-
-        compareStates: function(a, b) {
-            return htmlMode.compareStates(a.htmlState, b.htmlState);
-        },
-
-        electricChars: "/{}:"
-    }
-});
-
-CodeMirror.defineMIME("text/html", "htmlmixed");
+/*! UEditorPlus v2.0.0*/
+var CodeMirror=function(){function a(f,j){function r(a){return a>=0&&a<Yb.size}function u(a){return m(Yb,a)}function A(a,b){hc=!0;for(var c=b-a.height,d=a;d;d=d.parent)d.height+=c}function B(a){var b={line:0,ch:0};ga(b,{line:Yb.size-1,ch:u(Yb.size-1).text.length},X(a),b,b),bc=!0}function M(a){var b=[];return Yb.iter(0,Yb.size,function(a){b.push(a.text)}),b.join("\n")}function N(a){function b(a){var c=pb(a,!0);if(c&&!E(c,g)){Vb||ea(),g=c,Fa(d,c),bc=!1;var e=ya();(c.line>=e.to||c.line<e.from)&&(f=setTimeout(Ab(function(){b(a)}),150))}}Ea(a.shiftKey);for(var c=w(a);c!=Fb;c=c.parentNode)if(c.parentNode==Jb&&c!=Kb)return;for(var c=w(a);c!=Fb;c=c.parentNode)if(c.parentNode==Mb)return Bb.onGutterClick&&Bb.onGutterClick(vc,J(Mb.childNodes,c)+oc,a),t(a);var d=pb(a);switch(x(a)){case 3:return void(S&&!L&&qb(a));case 2:return void(d&&Ia(d.line,d.ch,!0))}if(!d)return void(w(a)==Ib&&t(a));Vb||ea();var e=+new Date;if(_b&&_b.time>e-400&&E(_b.pos,d))return t(a),setTimeout(ua,20),Qa(d.line);if($b&&$b.time>e-400&&E($b.pos,d))return _b={time:e,pos:d},t(a),Pa(d);$b={time:e,pos:d};var f,g=d;if(R&&!E(lc.from,lc.to)&&!F(d,lc.from)&&!F(lc.to,d)){U&&(Nb.draggable=!0);var h=y(Eb,"mouseup",Ab(function(b){U&&(Nb.draggable=!1),ac=!1,h(),Math.abs(a.clientX-b.clientX)+Math.abs(a.clientY-b.clientY)<10&&(t(b),Ia(d.line,d.ch,!0),ua())}),!0);return void(ac=!0)}t(a),Ia(d.line,d.ch,!0);var i=y(Eb,"mousemove",Ab(function(a){clearTimeout(f),t(a),b(a)}),!0),h=y(Eb,"mouseup",Ab(function(a){clearTimeout(f);var b=pb(a);b&&Fa(d,b),t(a),ua(),bc=!0,i(),h()}),!0)}function V(a){for(var b=w(a);b!=Fb;b=b.parentNode)if(b.parentNode==Mb)return t(a);var c=pb(a);c&&(_b={time:+new Date,pos:c},t(a),Pa(c))}function $(a){function b(a,b){var d=new FileReader;d.onload=function(){f[b]=d.result,++g==e&&(c=Ka(c),Ab(function(){var a=la(f.join(""),c,c);Fa(c,a)})())},d.readAsText(a)}a.preventDefault();var c=pb(a,!0),d=a.dataTransfer.files;if(c&&!Bb.readOnly)if(d&&d.length&&window.FileReader&&window.File)for(var e=d.length,f=Array(e),g=0,h=0;h<e;++h)b(d[h],h);else try{var f=a.dataTransfer.getData("Text");if(f){var i=la(f,c,c),j=lc.from,k=lc.to;Fa(c,i),ac&&la("",j,k),ua()}}catch(a){}}function _(a){var b=pa();H(b),a.dataTransfer.setDragImage(W,0,0),a.dataTransfer.setData("Text",b)}function aa(a){var d,e,f=Z[a.keyCode],g=Q[Bb.keyMap].auto;if(null==f||a.altGraphKey)return g&&(Bb.keyMap=g),null;if(a.altKey&&(f="Alt-"+f),a.ctrlKey&&(f="Ctrl-"+f),a.metaKey&&(f="Cmd-"+f),a.shiftKey&&(d=b("Shift-"+f,Bb.extraKeys,Bb.keyMap))?e=!0:d=b(f,Bb.extraKeys,Bb.keyMap),"string"==typeof d&&(d=P.propertyIsEnumerable(d)?P[d]:null),!g||!d&&c(a)||(Bb.keyMap=g),!d)return!1;if(e){var h=Zb;Zb=null,d(vc),Zb=h}else d(vc);return t(a),!0}function ba(a){Vb||ea();var b=a.keyCode;if(T&&27==b&&(a.returnValue=!1),Ea(16==b||a.shiftKey),!Bb.onKeyEvent||!Bb.onKeyEvent(vc,s(a))){var c=aa(a);window.opera&&(wc=c?a.keyCode:null,!c&&(L?a.metaKey:a.ctrlKey)&&88==a.keyCode&&ma(""))}}function ca(a){if(window.opera&&a.keyCode==wc)return wc=null,void t(a);if((!Bb.onKeyEvent||!Bb.onKeyEvent(vc,s(a)))&&(!window.opera||a.which||!aa(a))){if(Bb.electricChars&&Tb.electricChars){var b=String.fromCharCode(null==a.charCode?a.keyCode:a.charCode);Tb.electricChars.indexOf(b)>-1&&setTimeout(Ab(function(){Sa(lc.to.line,"smart")}),75)}ra()}}function da(a){Bb.onKeyEvent&&Bb.onKeyEvent(vc,s(a))||16==a.keyCode&&(Zb=null)}function ea(){Bb.readOnly||(Vb||(Bb.onFocus&&Bb.onFocus(vc),Vb=!0,Fb.className.search(/\bCodeMirror-focused\b/)==-1&&(Fb.className+=" CodeMirror-focused"),gc||ta(!0)),qa(),rb())}function fa(){Vb&&(Bb.onBlur&&Bb.onBlur(vc),Vb=!1,Fb.className=Fb.className.replace(" CodeMirror-focused","")),clearInterval(Sb),setTimeout(function(){Vb||(Zb=null)},150)}function ga(a,b,c,d,e){if(tc){var f=[];for(Yb.iter(a.line,b.line+1,function(a){f.push(a.text)}),tc.addChange(a.line,c.length,f);tc.done.length>Bb.undoDepth;)tc.done.shift()}ka(a,b,c,d,e)}function ha(a,b){var c=a.pop();if(c){var d=[],e=c.start+c.added;Yb.iter(c.start,e,function(a){d.push(a.text)}),b.push({start:c.start,added:c.old.length,old:d});var f=Ka({line:c.start+c.old.length-1,ch:I(d[d.length-1],c.old[c.old.length-1])});ka({line:c.start,ch:0},{line:e-1,ch:u(e-1).text.length},c.old,f,f),bc=!0}}function ia(){ha(tc.done,tc.undone)}function ja(){ha(tc.undone,tc.done)}function ka(a,b,c,d,e){function f(a){return a<=Math.min(b.line,b.line+s)?a:a+s}var g=!1,h=rc.length;Bb.lineWrapping||Yb.iter(a.line,b.line,function(a){if(a.text.length==h)return g=!0,!0}),(a.line!=b.line||c.length>1)&&(hc=!0);var j=b.line-a.line,k=u(a.line),l=u(b.line);if(0==a.ch&&0==b.ch&&""==c[c.length-1]){var m=[],n=null;a.line?(n=u(a.line-1),n.fixMarkEnds(l)):l.fixMarkStarts();for(var o=0,p=c.length-1;o<p;++o)m.push(i.inheritMarks(c[o],n));j&&Yb.remove(a.line,j,ic),m.length&&Yb.insert(a.line,m)}else if(k==l)if(1==c.length)k.replace(a.ch,b.ch,c[0]);else{l=k.split(b.ch,c[c.length-1]),k.replace(a.ch,null,c[0]),k.fixMarkEnds(l);for(var m=[],o=1,p=c.length-1;o<p;++o)m.push(i.inheritMarks(c[o],k));m.push(l),Yb.insert(a.line+1,m)}else if(1==c.length)k.replace(a.ch,null,c[0]),l.replace(null,b.ch,""),k.append(l),Yb.remove(a.line+1,j,ic);else{var m=[];k.replace(a.ch,null,c[0]),l.replace(null,b.ch,c[c.length-1]),k.fixMarkEnds(l);for(var o=1,p=c.length-1;o<p;++o)m.push(i.inheritMarks(c[o],k));j>1&&Yb.remove(a.line+1,j-1,ic),Yb.insert(a.line+1,m)}if(Bb.lineWrapping){var q=Ib.clientWidth/mb()-3;Yb.iter(a.line,a.line+c.length,function(a){if(!a.hidden){var b=Math.ceil(a.text.length/q)||1;b!=a.height&&A(a,b)}})}else Yb.iter(a.line,o+c.length,function(a){var b=a.text;b.length>h&&(rc=b,h=b.length,kc=null,g=!1)}),g&&(h=0,rc="",kc=null,Yb.iter(0,Yb.size,function(a){var b=a.text;b.length>h&&(h=b.length,rc=b)}));for(var r=[],s=c.length-j-1,o=0,t=Ub.length;o<t;++o){var v=Ub[o];v<a.line?r.push(v):v>b.line&&r.push(v+s)}var w=a.line+Math.min(c.length,500);vb(a.line,w),r.push(w),Ub=r,xb(100),dc.push({from:a.line,to:b.line+1,diff:s});var x={from:a,to:b,text:c};if(ec){for(var y=ec;y.next;y=y.next);y.next=x}else ec=x;Ga(d,e,f(lc.from.line),f(lc.to.line)),Jb.style.height=Yb.height*lb()+2*nb()+"px"}function la(a,b,c){function d(d){if(F(d,b))return d;if(!F(c,d))return e;var f=d.line+a.length-(c.line-b.line)-1,g=d.ch;return d.line==c.line&&(g+=a[a.length-1].length-(c.ch-(c.line==b.line?b.ch:0))),{line:f,ch:g}}b=Ka(b),c=c?Ka(c):b,a=X(a);var e;return na(a,b,c,function(a){return e=a,{from:d(lc.from),to:d(lc.to)}}),e}function ma(a,b){na(X(a),lc.from,lc.to,function(a){return"end"==b?{from:a,to:a}:"start"==b?{from:lc.from,to:lc.from}:{from:lc.from,to:a}})}function na(a,b,c,d){var e=1==a.length?a[0].length+b.ch:a[a.length-1].length,f=d({line:b.line+a.length-1,ch:e});ga(b,c,a,f.from,f.to)}function oa(a,b){var c=a.line,d=b.line;if(c==d)return u(c).text.slice(a.ch,b.ch);var e=[u(c).text.slice(a.ch)];return Yb.iter(c+1,d,function(a){e.push(a.text)}),e.push(u(d).text.slice(0,b.ch)),e.join("\n")}function pa(){return oa(lc.from,lc.to)}function qa(){xc||Wb.set(Bb.pollInterval,function(){yb(),sa(),Vb&&qa(),zb()})}function ra(){function a(){yb();var c=sa();c||b?(xc=!1,qa()):(b=!0,Wb.set(60,a)),zb()}var b=!1;xc=!0,Wb.set(20,a)}function sa(){if(gc||!Vb||Y(Hb))return!1;var a=Hb.value;if(a==yc)return!1;Zb=null;for(var b=0,c=Math.min(yc.length,a.length);b<c&&yc[b]==a[b];)++b;return b<yc.length?lc.from={line:lc.from.line,ch:lc.from.ch-(yc.length-b)}:mc&&E(lc.from,lc.to)&&(lc.to={line:lc.to.line,ch:Math.min(u(lc.to.line).text.length,lc.to.ch+(a.length-b))}),ma(a.slice(b),"end"),yc=a,!0}function ta(a){E(lc.from,lc.to)?a&&(yc=Hb.value=""):(yc="",Hb.value=pa(),Hb.select())}function ua(){Bb.readOnly||Hb.focus()}function va(){if(Pb.getBoundingClientRect){var a=Pb.getBoundingClientRect();if(!T||a.top!=a.bottom){var b=window.innerHeight||Math.max(document.body.offsetHeight,document.documentElement.offsetHeight);(a.top<0||a.bottom>b)&&Pb.scrollIntoView()}}}function wa(){var a=ib(lc.inverted?lc.from:lc.to),b=Bb.lineWrapping?Math.min(a.x,Nb.offsetWidth):a.x;return xa(b,a.y,b,a.yBot)}function xa(a,b,c,d){var e=ob(),f=nb(),g=lb();b+=f,d+=f,a+=e,c+=e;var h=Ib.clientHeight,i=Ib.scrollTop,j=!1,k=!0;b<i?(Ib.scrollTop=Math.max(0,b-2*g),j=!0):d>i+h&&(Ib.scrollTop=d+g-h,j=!0);var l=Ib.clientWidth,m=Ib.scrollLeft,n=Bb.fixedGutter?Lb.clientWidth:0;return a<m+n?(a<50&&(a=0),Ib.scrollLeft=Math.max(0,a-10-n),j=!0):c>l+m-3&&(Ib.scrollLeft=c+10-l,j=!0,c>Jb.clientWidth&&(k=!1)),j&&Bb.onScroll&&Bb.onScroll(vc),k}function ya(){var a=lb(),b=Ib.scrollTop-nb(),c=Math.max(0,Math.floor(b/a)),d=Math.ceil((b+Ib.clientHeight)/a);return{from:o(Yb,c),to:o(Yb,d)}}function za(a,b){if(!Ib.clientWidth)return void(oc=pc=nc=0);var c=ya();if(!(a!==!0&&0==a.length&&c.from>=oc&&c.to<=pc)){var d=Math.max(c.from-100,0),e=Math.min(Yb.size,c.to+100);oc<d&&d-oc<20&&(d=oc),pc>e&&pc-e<20&&(e=Math.min(Yb.size,pc));for(var f=a===!0?[]:Aa([{from:oc,to:pc,domStart:0}],a),g=0,h=0;h<f.length;++h){var i=f[h];i.from<d&&(i.domStart+=d-i.from,i.from=d),i.to>e&&(i.to=e),i.from>=i.to?f.splice(h--,1):g+=i.to-i.from}if(g!=e-d){f.sort(function(a,b){return a.domStart-b.domStart});var j=lb(),k=Lb.style.display;Qb.style.display=Lb.style.display="none",Ba(d,e,f),Qb.style.display="";var l=d!=oc||e!=pc||qc!=Ib.clientHeight+j;if(l&&(qc=Ib.clientHeight+j),oc=d,pc=e,nc=p(Yb,d),Kb.style.top=nc*j+"px",Jb.style.height=Yb.height*j+2*nb()+"px",Qb.childNodes.length!=pc-oc)throw new Error("BAD PATCH! "+JSON.stringify(f)+" size="+(pc-oc)+" nodes="+Qb.childNodes.length);if(Bb.lineWrapping){kc=Ib.clientWidth;var m=Qb.firstChild;Yb.iter(oc,pc,function(a){if(!a.hidden){var b=Math.round(m.offsetHeight/j)||1;a.height!=b&&(A(a,b),hc=!0)}m=m.nextSibling})}else null==kc&&(kc=gb(rc)),kc>Ib.clientWidth?(Nb.style.width=kc+"px",Jb.style.width="",Jb.style.width=Ib.scrollWidth+"px"):Nb.style.width=Jb.style.width="";return Lb.style.display=k,(l||hc)&&Ca(),Da(),!b&&Bb.onUpdate&&Bb.onUpdate(vc),!0}}}function Aa(a,b){for(var c=0,d=b.length||0;c<d;++c){for(var e=b[c],f=[],g=e.diff||0,h=0,i=a.length;h<i;++h){var j=a[h];e.to<=j.from&&e.diff?f.push({from:j.from+g,to:j.to+g,domStart:j.domStart}):e.to<=j.from||e.from>=j.to?f.push(j):(e.from>j.from&&f.push({from:j.from,to:e.from,domStart:j.domStart}),e.to<j.to&&f.push({from:e.to+g,to:j.to+g,domStart:j.domStart+(e.to-j.from)}))}a=f}return a}function Ba(a,b,c){function d(a){var b=a.nextSibling;return a.parentNode.removeChild(a),b}if(c.length){for(var e=0,f=Qb.firstChild,g=0;g<c.length;++g){for(var h=c[g];h.domStart>e;)f=d(f),e++;for(var i=0,j=h.to-h.from;i<j;++i)f=f.nextSibling,e++}for(;f;)f=d(f)}else Qb.innerHTML="";var k=c.shift(),f=Qb.firstChild,i=a,l=lc.from.line,m=lc.to.line,n=l<a&&m>=a,o=Eb.createElement("div");Yb.iter(a,b,function(a){var b=null,d=null;n?(b=0,m==i&&(n=!1,d=lc.to.ch)):l==i&&(m==i?(b=lc.from.ch,d=lc.to.ch):(n=!0,b=lc.from.ch)),k&&k.to==i&&(k=c.shift()),!k||k.from>i?(a.hidden?o.innerHTML="<pre></pre>":o.innerHTML=a.getHTML(b,d,!0,sc),Qb.insertBefore(o.firstChild,f)):f=f.nextSibling,++i})}function Ca(){if(Bb.gutter||Bb.lineNumbers){var a=Kb.offsetHeight,b=Ib.clientHeight;Lb.style.height=(a-b<2?b:a)+"px";var c=[],d=oc;Yb.iter(oc,Math.max(pc,oc+1),function(a){if(a.hidden)c.push("<pre></pre>");else{var b=a.gutterMarker,e=Bb.lineNumbers?d+Bb.firstLineNumber:null;b&&b.text?e=b.text.replace("%N%",null!=e?e:""):null==e&&(e=" "),c.push(b&&b.style?'<pre class="'+b.style+'">':"<pre>",e);for(var f=1;f<a.height;++f)c.push("<br/>&#160;");c.push("</pre>")}++d}),Lb.style.display="none",Mb.innerHTML=c.join("");for(var e=String(Yb.size).length,f=Mb.firstChild,g=D(f),h="";g.length+h.length<e;)h+=" ";h&&f.insertBefore(Eb.createTextNode(h),f.firstChild),Lb.style.display="",Nb.style.marginLeft=Lb.offsetWidth+"px",hc=!1}}function Da(){var a=lc.inverted?lc.from:lc.to,b=(lb(),ib(a,!0)),c=C(Fb),d=C(Qb);Gb.style.top=b.y+d.top-c.top+"px",Gb.style.left=b.x+d.left-c.left+"px",E(lc.from,lc.to)?(Pb.style.top=b.y+"px",Pb.style.left=(Bb.lineWrapping?Math.min(b.x,Nb.offsetWidth):b.x)+"px",Pb.style.display=""):Pb.style.display="none"}function Ea(a){Zb=a?Zb||(lc.inverted?lc.to:lc.from):null}function Fa(a,b){var c=Zb&&Ka(Zb);c&&(F(c,a)?a=c:F(b,c)&&(b=c)),Ga(a,b),cc=!0}function Ga(a,b,c,d){if(zc=null,null==c&&(c=lc.from.line,d=lc.to.line),!E(lc.from,a)||!E(lc.to,b)){if(F(b,a)){var e=b;b=a,a=e}a.line!=c&&(a=Ha(a,c,lc.from.ch)),b.line!=d&&(b=Ha(b,d,lc.to.ch)),E(a,b)?lc.inverted=!1:E(a,lc.to)?lc.inverted=!1:E(b,lc.from)&&(lc.inverted=!0),E(a,b)?E(lc.from,lc.to)||dc.push({from:c,to:d+1}):E(lc.from,lc.to)?dc.push({from:a.line,to:b.line+1}):(E(a,lc.from)||(a.line<c?dc.push({from:a.line,to:Math.min(b.line,c)+1}):dc.push({from:c,to:Math.min(d,a.line)+1})),E(b,lc.to)||(b.line<d?dc.push({from:Math.max(c,a.line),to:d+1}):dc.push({from:Math.max(a.line,d),to:b.line+1}))),lc.from=a,lc.to=b,fc=!0}}function Ha(a,b,c){function d(b){for(var d=a.line+b,e=1==b?Yb.size:-1;d!=e;){var f=u(d);if(!f.hidden){var g=a.ch;return(g>c||g>f.text.length)&&(g=f.text.length),{line:d,ch:g}}d+=b}}var e=u(a.line);return e.hidden?a.line>=b?d(1)||d(-1):d(-1)||d(1):a}function Ia(a,b,c){var d=Ka({line:a,ch:b||0});(c?Fa:Ga)(d,d)}function Ja(a){return Math.max(0,Math.min(a,Yb.size-1))}function Ka(a){if(a.line<0)return{line:0,ch:0};if(a.line>=Yb.size)return{line:Yb.size-1,ch:u(Yb.size-1).text.length};var b=a.ch,c=u(a.line).text.length;return null==b||b>c?{line:a.line,ch:c}:b<0?{line:a.line,ch:0}:a}function La(a,b){function c(){for(var b=f+a,c=a<0?-1:Yb.size;b!=c;b+=a){var d=u(b);if(!d.hidden)return f=b,h=d,!0}}function d(b){if(g==(a<0?0:h.text.length)){if(b||!c())return!1;g=a<0?h.text.length:0}else g+=a;return!0}var e=lc.inverted?lc.from:lc.to,f=e.line,g=e.ch,h=u(f);if("char"==b)d();else if("column"==b)d(!0);else if("word"==b)for(var i=!1;!(a<0)||d();){if(K(h.text.charAt(g)))i=!0;else if(i){a<0&&(a=1,d());break}if(a>0&&!d())break}return{line:f,ch:g}}function Ma(a,b){var c=a<0?lc.from:lc.to;(Zb||E(lc.from,lc.to))&&(c=La(a,b)),Ia(c.line,c.ch,!0)}function Na(a,b){E(lc.from,lc.to)?a<0?la("",La(a,b),lc.to):la("",lc.from,La(a,b)):la("",lc.from,lc.to),cc=!0}function Oa(a,b){var c=0,d=ib(lc.inverted?lc.from:lc.to,!0);null!=zc&&(d.x=zc),"page"==b?c=Ib.clientHeight:"line"==b&&(c=lb());var e=jb(d.x,d.y+c*a+2);Ia(e.line,e.ch,!0),zc=d.x}function Pa(a){for(var b=u(a.line).text,c=a.ch,d=a.ch;c>0&&K(b.charAt(c-1));)--c;for(;d<b.length&&K(b.charAt(d));)++d;Fa({line:a.line,ch:c},{line:a.line,ch:d})}function Qa(a){Fa({line:a,ch:0},{line:a,ch:u(a).text.length})}function Ra(a){if(E(lc.from,lc.to))return Sa(lc.from.line,a);for(var b=lc.to.line-(lc.to.ch?0:1),c=lc.from.line;c<=b;++c)Sa(c,a)}function Sa(a,b){if(b||(b="add"),"smart"==b)if(Tb.indent)var c=ub(a);else b="prev";var d,e=u(a),f=e.indentation(Bb.tabSize),g=e.text.match(/^\s*/)[0];"prev"==b?d=a?u(a-1).indentation(Bb.tabSize):0:"smart"==b?d=Tb.indent(c,e.text.slice(g.length),e.text):"add"==b?d=f+Bb.indentUnit:"subtract"==b&&(d=f-Bb.indentUnit),d=Math.max(0,d);var h=d-f;if(h){var i="",j=0;if(Bb.indentWithTabs)for(var k=Math.floor(d/Bb.tabSize);k;--k)j+=Bb.tabSize,i+="\t";for(;j<d;)++j,i+=" "}else{if(lc.from.line!=a&&lc.to.line!=a)return;var i=g}la(i,{line:a,ch:0},{line:a,ch:g.length})}function Ta(){Tb=a.getMode(Bb,Bb.mode),Yb.iter(0,Yb.size,function(a){a.stateAfter=null}),Ub=[0],xb()}function Ua(){var a=Bb.gutter||Bb.lineNumbers;Lb.style.display=a?"":"none",a?hc=!0:Qb.parentNode.style.marginLeft=0}function Va(a,b){if(Bb.lineWrapping){Fb.className+=" CodeMirror-wrap";var c=Ib.clientWidth/mb()-3;Yb.iter(0,Yb.size,function(a){if(!a.hidden){var b=Math.ceil(a.text.length/c)||1;1!=b&&A(a,b)}}),Nb.style.width=Jb.style.width=""}else Fb.className=Fb.className.replace(" CodeMirror-wrap",""),kc=null,rc="",Yb.iter(0,Yb.size,function(a){1==a.height||a.hidden||A(a,1),a.text.length>rc.length&&(rc=a.text)});dc.push({from:0,to:Yb.size})}function Wa(){for(var a='<span class="cm-tab">',b=0;b<Bb.tabSize;++b)a+=" ";return a+"</span>"}function Xa(){sc=Wa(),za(!0)}function Ya(){Ib.className=Ib.className.replace(/\s*cm-s-\w+/g,"")+Bb.theme.replace(/(^|\s)\s*/g," cm-s-")}function Za(){this.set=[]}function $a(a,b,c){function d(a,b,c,d){u(a).addMark(new g(b,c,d,e.set))}a=Ka(a),b=Ka(b);var e=new Za;if(a.line==b.line)d(a.line,a.ch,b.ch,c);else{d(a.line,a.ch,null,c);for(var f=a.line+1,h=b.line;f<h;++f)d(f,null,null,c);d(b.line,null,b.ch,c)}return dc.push({from:a.line,to:b.line+1}),e}function _a(a){a=Ka(a);var b=new h(a.ch);return u(a.line).addMark(b),b}function ab(a,b,c){return"number"==typeof a&&(a=u(Ja(a))),a.gutterMarker={text:b,style:c},hc=!0,a}function bb(a){"number"==typeof a&&(a=u(Ja(a))),a.gutterMarker=null,hc=!0}function cb(a,b){var c=a,d=a;return"number"==typeof a?d=u(Ja(a)):c=n(a),null==c?null:b(d,c)?(dc.push({from:c,to:c+1}),d):null}function db(a,b){return cb(a,function(a){if(a.className!=b)return a.className=b,!0})}function eb(a,b){return cb(a,function(a,c){if(a.hidden!=b)return a.hidden=b,A(a,b?0:1),!b||lc.from.line!=c&&lc.to.line!=c||Ga(Ha(lc.from,lc.from.line,lc.from.ch),Ha(lc.to,lc.to.line,lc.to.ch)),hc=!0})}function fb(a){if("number"==typeof a){if(!r(a))return null;var b=a;if(a=u(a),!a)return null}else{var b=n(a);if(null==b)return null}var c=a.gutterMarker;return{line:b,handle:a,text:a.text,markerText:c&&c.text,markerClass:c&&c.style,lineClass:a.className}}function gb(a){return Ob.innerHTML="<pre><span>x</span></pre>",Ob.firstChild.firstChild.firstChild.nodeValue=a,Ob.firstChild.firstChild.offsetWidth||10}function hb(a,b){var c="";if(Bb.lineWrapping){var d=a.text.indexOf(" ",b+2);c=H(a.text.slice(b+1,d<0?a.text.length:d+(T?5:0)))}Ob.innerHTML="<pre>"+a.getHTML(null,null,!1,sc,b)+'<span id="CodeMirror-temp-'+Ec+'">'+H(a.text.charAt(b)||" ")+"</span>"+c+"</pre>";var e=document.getElementById("CodeMirror-temp-"+Ec),f=e.offsetTop,g=e.offsetLeft;if(T&&b&&0==f&&0==g){var h=document.createElement("span");h.innerHTML="x",e.parentNode.insertBefore(h,e.nextSibling),f=h.offsetTop}return{top:f,left:g}}function ib(a,b){var c,d=lb(),e=d*(p(Yb,a.line)-(b?nc:0));if(0==a.ch)c=0;else{var f=hb(u(a.line),a.ch);c=f.left,Bb.lineWrapping&&(e+=Math.max(0,f.top))}return{x:c,y:e,yBot:e+d}}function jb(a,b){function c(a){var b=hb(h,a);if(j){var c=Math.round(b.top/d);return Math.max(0,b.left+(c-k)*Ib.clientWidth)}return b.left}b<0&&(b=0);var d=lb(),e=mb(),f=nc+Math.floor(b/d),g=o(Yb,f);if(g>=Yb.size)return{line:Yb.size-1,ch:u(Yb.size-1).text.length};var h=u(g),i=h.text,j=Bb.lineWrapping,k=j?f-p(Yb,g):0;if(a<=0&&0==k)return{line:g,ch:0};for(var l,m=0,n=0,q=i.length,r=Math.min(q,Math.ceil((a+k*Ib.clientWidth*.9)/e));;){var s=c(r);if(!(s<=a&&r<q)){l=s,q=r;break}r=Math.min(q,Math.ceil(1.2*r))}if(a>l)return{line:g,ch:q};for(r=Math.floor(.8*q),s=c(r),s<a&&(m=r,n=s);;){if(q-m<=1)return{line:g,ch:l-a>a-n?m:q};var t=Math.ceil((m+q)/2),v=c(t);v>a?(q=t,l=v):(m=t,n=v)}}function kb(a){var b=ib(a,!0),c=C(Nb);return{x:c.left+b.x,y:c.top+b.y,yBot:c.top+b.yBot}}function lb(){if(null==Cc){Cc="<pre>";for(var a=0;a<49;++a)Cc+="x<br/>";Cc+="x</pre>"}var b=Qb.clientHeight;return b==Bc?Ac:(Bc=b,Ob.innerHTML=Cc,Ac=Ob.firstChild.offsetHeight/50||1,Ob.innerHTML="",Ac)}function mb(){return Ib.clientWidth==Fc?Dc:(Fc=Ib.clientWidth,Dc=gb("x"))}function nb(){return Nb.offsetTop}function ob(){return Nb.offsetLeft}function pb(a,b){var c,d,e=C(Ib,!0);try{c=a.clientX,d=a.clientY}catch(a){return null}if(!b&&(c-e.left>Ib.clientWidth||d-e.top>Ib.clientHeight))return null;var f=C(Nb,!0);return jb(c-f.left,d-f.top)}function qb(a){function b(){var a=X(Hb.value).join("\n");a!=e&&Ab(ma)(a,"end"),Gb.style.position="relative",Hb.style.cssText=d,gc=!1,ta(!0),qa()}var c=pb(a);if(c&&!window.opera){(E(lc.from,lc.to)||F(c,lc.from)||!F(c,lc.to))&&Ab(Ia)(c.line,c.ch);var d=Hb.style.cssText;Gb.style.position="absolute",Hb.style.cssText="position: fixed; width: 30px; height: 30px; top: "+(a.clientY-5)+"px; left: "+(a.clientX-5)+"px; z-index: 1000; background: white; border-width: 0; outline: none; overflow: hidden; opacity: .05; filter: alpha(opacity=5);",gc=!0;var e=Hb.value=pa();if(ua(),Hb.select(),S){v(a);var f=y(window,"mouseup",function(){f(),setTimeout(b,20)},!0)}else setTimeout(b,50)}}function rb(){clearInterval(Sb);var a=!0;Pb.style.visibility="",Sb=setInterval(function(){Pb.style.visibility=(a=!a)?"":"hidden"},650)}function sb(a){function b(a,b,c){if(a.text)for(var d,e=a.styles,f=g?0:a.text.length-1,i=g?0:e.length-2,j=g?e.length:-2;i!=j;i+=2*h){var k=e[i];if(null==e[i+1]||e[i+1]==m){for(var l=g?0:k.length-1,p=g?k.length:-1;l!=p;l+=h,f+=h)if(f>=b&&f<c&&o.test(d=k.charAt(l))){var q=Gc[d];if(">"==q.charAt(1)==g)n.push(d);else{if(n.pop()!=q.charAt(0))return{pos:f,match:!1};if(!n.length)return{pos:f,match:!0}}}}else f+=h*k.length}}var c=lc.inverted?lc.from:lc.to,d=u(c.line),e=c.ch-1,f=e>=0&&Gc[d.text.charAt(e)]||Gc[d.text.charAt(++e)];if(f){for(var g=(f.charAt(0),">"==f.charAt(1)),h=g?1:-1,i=d.styles,j=e+1,k=0,l=i.length;k<l;k+=2)if((j-=i[k].length)<=0){var m=i[k+1];break}for(var n=[d.text.charAt(e)],o=/[(){}[\]]/,k=c.line,l=g?Math.min(k+100,Yb.size):Math.max(-1,k-100);k!=l;k+=h){var d=u(k),p=k==c.line,q=b(d,p&&g?e+1:0,p&&!g?e:d.text.length);if(q)break}q||(q={pos:null,match:!1});var m=q.match?"CodeMirror-matchingbracket":"CodeMirror-nonmatchingbracket",r=$a({line:c.line,ch:e},{line:c.line,ch:e+1},m),s=null!=q.pos&&$a({line:k,ch:q.pos},{line:k,ch:q.pos+1},m),t=Ab(function(){r.clear(),s&&s.clear()});a?setTimeout(t,800):jc=t}}function tb(a){for(var b,c,d=a,e=a-40;d>e;--d){if(0==d)return 0;var f=u(d-1);if(f.stateAfter)return d;var g=f.indentation(Bb.tabSize);(null==c||b>g)&&(c=d-1,b=g)}return c}function ub(a){var b=tb(a),c=b&&u(b-1).stateAfter;return c=c?d(Tb,c):e(Tb),Yb.iter(b,a,function(a){a.highlight(Tb,c,Bb.tabSize),a.stateAfter=d(Tb,c)}),b<a&&dc.push({from:b,to:a}),a<Yb.size&&!u(a).stateAfter&&Ub.push(a),c}function vb(a,b){var c=ub(a);Yb.iter(a,b,function(a){a.highlight(Tb,c,Bb.tabSize),a.stateAfter=d(Tb,c)})}function wb(){for(var a=+new Date+Bb.workTime,b=Ub.length;Ub.length;){if(u(oc).stateAfter)var c=Ub.pop();else var c=oc;if(!(c>=Yb.size)){var f=tb(c),g=f&&u(f-1).stateAfter;g=g?d(Tb,g):e(Tb);var h=0,i=Tb.compareStates,j=!1,k=f,l=!1;if(Yb.iter(k,Yb.size,function(b){var e=b.stateAfter;if(+new Date>a)return Ub.push(k),xb(Bb.workDelay),j&&dc.push({from:c,to:k+1}),l=!0;var f=b.highlight(Tb,g,Bb.tabSize);if(f&&(j=!0),b.stateAfter=d(Tb,g),i){if(e&&i(e,g))return!0}else if(f===!1&&e){if(++h>3&&(!Tb.indent||Tb.indent(e,"")==Tb.indent(g,"")))return!0}else h=0;++k}),l)return;j&&dc.push({from:c,to:k+1})}}b&&Bb.onHighlightComplete&&Bb.onHighlightComplete(vc)}function xb(a){Ub.length&&Xb.set(a,Ab(wb))}function yb(){bc=cc=ec=null,dc=[],fc=!1,ic=[]}function zb(){var a,b=!1;fc&&(b=!wa()),dc.length?a=za(dc,!0):(fc&&Da(),hc&&Ca()),b&&wa(),fc&&(va(),rb()),Vb&&!gc&&(bc===!0||bc!==!1&&fc)&&ta(cc),fc&&Bb.matchBrackets&&setTimeout(Ab(function(){jc&&(jc(),jc=null),E(lc.from,lc.to)&&sb(!1)}),20);var c=ec,d=ic;fc&&Bb.onCursorActivity&&Bb.onCursorActivity(vc),c&&Bb.onChange&&vc&&Bb.onChange(vc,c);for(var e=0;e<d.length;++e)d[e](vc);a&&Bb.onUpdate&&Bb.onUpdate(vc)}function Ab(a){return function(){Hc++||yb();try{var b=a.apply(this,arguments)}finally{--Hc||zb()}return b}}var Bb={},Cb=a.defaults;for(var Db in Cb)Cb.hasOwnProperty(Db)&&(Bb[Db]=(j&&j.hasOwnProperty(Db)?j:Cb)[Db]);var Eb=Bb.document,Fb=Eb.createElement("div");Fb.className="CodeMirror"+(Bb.lineWrapping?" CodeMirror-wrap":""),Fb.innerHTML='<div style="overflow: hidden; position: relative; width: 3px; height: 0px;"><textarea style="position: absolute; padding: 0; width: 1px;" wrap="off" autocorrect="off" autocapitalize="off"></textarea></div><div class="CodeMirror-scroll" tabindex="-1"><div style="position: relative"><div style="position: relative"><div class="CodeMirror-gutter"><div class="CodeMirror-gutter-text"></div></div><div class="CodeMirror-lines"><div style="position: relative"><div style="position: absolute; width: 100%; height: 0; overflow: hidden; visibility: hidden"></div><pre class="CodeMirror-cursor">&#160;</pre><div></div></div></div></div></div></div>',f.appendChild?f.appendChild(Fb):f(Fb);var Gb=Fb.firstChild,Hb=Gb.firstChild,Ib=Fb.lastChild,Jb=Ib.firstChild,Kb=Jb.firstChild,Lb=Kb.firstChild,Mb=Lb.firstChild,Nb=Lb.nextSibling.firstChild,Ob=Nb.firstChild,Pb=Ob.nextSibling,Qb=Pb.nextSibling;Ya(),/AppleWebKit/.test(navigator.userAgent)&&/Mobile\/\w+/.test(navigator.userAgent)&&(Hb.style.width="0px"),U||(Nb.draggable=!0),null!=Bb.tabindex&&(Hb.tabIndex=Bb.tabindex),Bb.gutter||Bb.lineNumbers||(Lb.style.display="none");try{gb("x")}catch(Rb){throw Rb.message.match(/runtime/i)&&(Rb=new Error("A CodeMirror inside a P-style element does not work in Internet Explorer. (innerHTML bug)")),Rb}var Sb,Tb,Ub,Vb,Wb=new z,Xb=new z,Yb=new l([new k([new i("")])]);Ta();var Zb,$b,_b,ac,bc,cc,dc,ec,fc,gc,hc,ic,jc,kc,lc={from:{line:0,ch:0},to:{line:0,ch:0},inverted:!1},mc=!1,nc=0,oc=0,pc=0,qc=0,rc="",sc=Wa();Ab(function(){B(Bb.value||""),bc=!1})();var tc=new q;y(Ib,"mousedown",Ab(N)),y(Ib,"dblclick",Ab(V)),y(Nb,"dragstart",_),y(Nb,"selectstart",t),S||y(Ib,"contextmenu",qb),y(Ib,"scroll",function(){za([]),Bb.fixedGutter&&(Lb.style.left=Ib.scrollLeft+"px"),Bb.onScroll&&Bb.onScroll(vc)}),y(window,"resize",function(){za(!0)}),y(Hb,"keyup",Ab(da)),y(Hb,"input",ra),y(Hb,"keydown",Ab(ba)),y(Hb,"keypress",Ab(ca)),y(Hb,"focus",ea),y(Hb,"blur",fa),y(Ib,"dragenter",v),y(Ib,"dragover",v),y(Ib,"drop",Ab($)),y(Ib,"paste",function(){ua(),ra()}),y(Hb,"paste",ra),y(Hb,"cut",Ab(function(){ma("")}));var uc;try{uc=Eb.activeElement==Hb}catch(Rb){}uc?setTimeout(ea,20):fa();var vc=Fb.CodeMirror={getValue:M,setValue:Ab(B),getSelection:pa,replaceSelection:Ab(ma),focus:function(){ua(),ea(),ra()},setOption:function(a,b){var c=Bb[a];Bb[a]=b,"mode"==a||"indentUnit"==a?Ta():"readOnly"==a&&b?(fa(),Hb.blur()):"theme"==a?Ya():"lineWrapping"==a&&c!=b?Ab(Va)():"tabSize"==a&&Ab(Xa)(),"lineNumbers"!=a&&"gutter"!=a&&"firstLineNumber"!=a&&"theme"!=a||Ab(Ua)()},getOption:function(a){return Bb[a]},undo:Ab(ia),redo:Ab(ja),indentLine:Ab(function(a,b){r(a)&&Sa(a,null==b?"smart":b?"add":"subtract")}),indentSelection:Ab(Ra),historySize:function(){return{undo:tc.done.length,redo:tc.undone.length}},clearHistory:function(){tc=new q},matchBrackets:Ab(function(){sb(!0)}),getTokenAt:Ab(function(a){return a=Ka(a),u(a.line).getTokenAt(Tb,ub(a.line),a.ch)}),getStateAfter:function(a){return a=Ja(null==a?Yb.size-1:a),ub(a+1)},cursorCoords:function(a){return null==a&&(a=lc.inverted),kb(a?lc.from:lc.to)},charCoords:function(a){return kb(Ka(a))},coordsChar:function(a){var b=C(Nb);return jb(a.x-b.left,a.y-b.top)},markText:Ab($a),setBookmark:_a,setMarker:Ab(ab),clearMarker:Ab(bb),setLineClass:Ab(db),hideLine:Ab(function(a){return eb(a,!0)}),showLine:Ab(function(a){return eb(a,!1)}),onDeleteLine:function(a,b){if("number"==typeof a){if(!r(a))return null;a=u(a)}return(a.handlers||(a.handlers=[])).push(b),a},lineInfo:fb,addWidget:function(a,b,c,d,e){a=ib(Ka(a));var f=a.yBot,g=a.x;if(b.style.position="absolute",Jb.appendChild(b),"over"==d)f=a.y;else if("near"==d){var h=Math.max(Ib.offsetHeight,Yb.height*lb()),i=Math.max(Jb.clientWidth,Nb.clientWidth)-ob();a.yBot+b.offsetHeight>h&&a.y>b.offsetHeight&&(f=a.y-b.offsetHeight),g+b.offsetWidth>i&&(g=i-b.offsetWidth)}b.style.top=f+nb()+"px",b.style.left=b.style.right="","right"==e?(g=Jb.clientWidth-b.offsetWidth,b.style.right="0px"):("left"==e?g=0:"middle"==e&&(g=(Jb.clientWidth-b.offsetWidth)/2),b.style.left=g+ob()+"px"),c&&xa(g,f,g+b.offsetWidth,f+b.offsetHeight)},lineCount:function(){return Yb.size},clipPos:Ka,getCursor:function(a){return null==a&&(a=lc.inverted),G(a?lc.from:lc.to)},somethingSelected:function(){return!E(lc.from,lc.to)},setCursor:Ab(function(a,b,c){null==b&&"number"==typeof a.line?Ia(a.line,a.ch,c):Ia(a,b,c)}),setSelection:Ab(function(a,b,c){(c?Fa:Ga)(Ka(a),Ka(b||a))}),getLine:function(a){if(r(a))return u(a).text},getLineHandle:function(a){if(r(a))return u(a)},setLine:Ab(function(a,b){r(a)&&la(b,{line:a,ch:0},{line:a,ch:u(a).text.length})}),removeLine:Ab(function(a){r(a)&&la("",{line:a,ch:0},Ka({line:a+1,ch:0}))}),replaceRange:Ab(la),getRange:function(a,b){return oa(Ka(a),Ka(b))},execCommand:function(a){return P[a](vc)},moveH:Ab(Ma),deleteH:Ab(Na),moveV:Ab(Oa),toggleOverwrite:function(){mc=!mc},posFromIndex:function(a){var b,c=0;return Yb.iter(0,Yb.size,function(d){var e=d.text.length+1;return e>a?(b=a,!0):(a-=e,void++c)}),Ka({line:c,ch:b})},indexFromPos:function(a){if(a.line<0||a.ch<0)return 0;var b=a.ch;return Yb.iter(0,a.line,function(a){b+=a.text.length+1}),b},operation:function(a){return Ab(a)()},refresh:function(){za(!0)},getInputField:function(){return Hb},getWrapperElement:function(){return Fb},getScrollerElement:function(){return Ib},getGutterElement:function(){return Lb}},wc=null,xc=!1,yc="",zc=null;Za.prototype.clear=Ab(function(){for(var a=1/0,b=-(1/0),c=0,d=this.set.length;c<d;++c){var e=this.set[c],f=e.marked;if(f&&e.parent){var g=n(e);a=Math.min(a,g),b=Math.max(b,g);for(var h=0;h<f.length;++h)f[h].set==this.set&&f.splice(h--,1)}}a!=1/0&&dc.push({from:a,to:b+1})}),Za.prototype.find=function(){for(var a,b,c=0,d=this.set.length;c<d;++c)for(var e=this.set[c],f=e.marked,g=0;g<f.length;++g){var h=f[g];if(h.set==this.set&&(null!=h.from||null!=h.to)){var i=n(e);null!=i&&(null!=h.from&&(a={line:i,ch:h.from}),null!=h.to&&(b={line:i,ch:h.to}))}}return{from:a,to:b}};var Ac,Bc,Cc,Dc,Ec=Math.floor(16777215*Math.random()).toString(16),Fc=0,Gc={"(":")>",")":"(<","[":"]>","]":"[<","{":"}>","}":"{<"},Hc=0;for(var Ic in O)O.propertyIsEnumerable(Ic)&&!vc.propertyIsEnumerable(Ic)&&(vc[Ic]=O[Ic]);return vc}function b(a,b,c){function d(a,b,c){var e=b[a];if(null!=e)return e;if(null==c&&(c=b.fallthrough),null==c)return b.catchall;if("string"==typeof c)return d(a,Q[c]);for(var f=0,g=c.length;f<g;++f)if(e=d(a,Q[c[f]]),null!=e)return e;return null}return b?d(a,b,c):d(a,Q[c])}function c(a){var b=Z[a.keyCode];return"Ctrl"==b||"Alt"==b||"Shift"==b||"Mod"==b}function d(a,b){if(b===!0)return b;if(a.copyState)return a.copyState(b);var c={};for(var d in b){var e=b[d];e instanceof Array&&(e=e.concat([])),c[d]=e}return c}function e(a,b,c){return!a.startState||a.startState(b,c)}function f(a,b){this.pos=this.start=0,this.string=a,this.tabSize=b||8}function g(a,b,c,d){this.from=a,this.to=b,this.style=c,this.set=d}function h(a){this.from=a,this.to=a,this.line=null}function i(a,b){this.styles=b||[a,null],this.text=a,this.height=1,this.marked=this.gutterMarker=this.className=this.handlers=null,this.stateAfter=this.parent=this.hidden=null}function j(a,b,c,d){for(var e=0,f=0,g=0;f<b;e+=2){var h=c[e],i=f+h.length;0==g?(i>a&&d.push(h.slice(a-f,Math.min(h.length,b-f)),c[e+1]),i>=a&&(g=1)):1==g&&(i>b?d.push(h.slice(0,b-f),c[e+1]):d.push(h,c[e+1])),f=i}}function k(a){this.lines=a,this.parent=null;for(var b=0,c=a.length,d=0;b<c;++b)a[b].parent=this,d+=a[b].height;this.height=d}function l(a){this.children=a;for(var b=0,c=0,d=0,e=a.length;d<e;++d){var f=a[d];b+=f.chunkSize(),c+=f.height,f.parent=this}this.size=b,this.height=c,this.parent=null}function m(a,b){for(;!a.lines;)for(var c=0;;++c){var d=a.children[c],e=d.chunkSize();if(b<e){a=d;break}b-=e}return a.lines[b]}function n(a){if(null==a.parent)return null;for(var b=a.parent,c=J(b.lines,a),d=b.parent;d;b=d,d=d.parent){var e=0;for(d.children.length;d.children[e]!=b;++e)c+=d.children[e].chunkSize()}return c}function o(a,b){var c=0;a:do{for(var d=0,e=a.children.length;d<e;++d){var f=a.children[d],g=f.height;if(b<g){a=f;continue a}b-=g,c+=f.chunkSize()}return c}while(!a.lines);for(var d=0,e=a.lines.length;d<e;++d){var h=a.lines[d],i=h.height;if(b<i)break;b-=i}return c+d}function p(a,b){var c=0;a:do{for(var d=0,e=a.children.length;d<e;++d){var f=a.children[d],g=f.chunkSize();if(b<g){a=f;continue a}b-=g,c+=f.height}return c}while(!a.lines);for(var d=0;d<b;++d)c+=a.lines[d].height;return c}function q(){this.time=0,this.done=[],this.undone=[]}function r(){v(this)}function s(a){return a.stop||(a.stop=r),a}function t(a){a.preventDefault?a.preventDefault():a.returnValue=!1}function u(a){a.stopPropagation?a.stopPropagation():a.cancelBubble=!0}function v(a){t(a),u(a)}function w(a){return a.target||a.srcElement}function x(a){return a.which?a.which:1&a.button?1:2&a.button?3:4&a.button?2:void 0}function y(a,b,c,d){
+if("function"==typeof a.addEventListener){if(a.addEventListener(b,c,!1),d)return function(){a.removeEventListener(b,c,!1)}}else{var e=function(a){c(a||window.event)};if(a.attachEvent("on"+b,e),d)return function(){a.detachEvent("on"+b,e)}}}function z(){this.id=null}function A(a,b,c){null==b&&(b=a.search(/[^\s\u00a0]/),b==-1&&(b=a.length));for(var d=0,e=0;d<b;++d)"\t"==a.charAt(d)?e+=c-e%c:++e;return e}function B(a){return a.currentStyle?a.currentStyle:window.getComputedStyle(a,null)}function C(a,b){for(var c=a.ownerDocument.body,d=0,e=0,f=!1,g=a;g;g=g.offsetParent){var h=g.offsetLeft,i=g.offsetTop;g==c?(d+=Math.abs(h),e+=Math.abs(i)):(d+=h,e+=i),b&&"fixed"==B(g).position&&(f=!0)}for(var j=b&&!f?null:c,g=a.parentNode;g!=j;g=g.parentNode)null!=g.scrollLeft&&(d-=g.scrollLeft,e-=g.scrollTop);return{left:d,top:e}}function D(a){return a.textContent||a.innerText||a.nodeValue||""}function E(a,b){return a.line==b.line&&a.ch==b.ch}function F(a,b){return a.line<b.line||a.line==b.line&&a.ch<b.ch}function G(a){return{line:a.line,ch:a.ch}}function H(a){return W.textContent=a,W.innerHTML}function I(a,b){if(!b)return a?a.length:0;if(!a)return b.length;for(var c=a.length,d=b.length;c>=0&&d>=0&&a.charAt(c)==b.charAt(d);--c,--d);return d+1}function J(a,b){if(a.indexOf)return a.indexOf(b);for(var c=0,d=a.length;c<d;++c)if(a[c]==b)return c;return-1}function K(a){return/\w/.test(a)||a.toUpperCase()!=a.toLowerCase()}a.defaults={value:"",mode:null,theme:"default",indentUnit:2,indentWithTabs:!1,tabSize:4,keyMap:"default",extraKeys:null,electricChars:!0,onKeyEvent:null,lineWrapping:!1,lineNumbers:!1,gutter:!1,fixedGutter:!1,firstLineNumber:1,readOnly:!1,onChange:null,onCursorActivity:null,onGutterClick:null,onHighlightComplete:null,onUpdate:null,onFocus:null,onBlur:null,onScroll:null,matchBrackets:!1,workTime:100,workDelay:200,pollInterval:100,undoDepth:40,tabindex:null,document:window.document};var L=/Mac/.test(navigator.platform),M=(/Win/.test(navigator.platform),{}),N={};a.defineMode=function(b,c){a.defaults.mode||"null"==b||(a.defaults.mode=b),M[b]=c},a.defineMIME=function(a,b){N[a]=b},a.getMode=function(b,c){if("string"==typeof c&&N.hasOwnProperty(c)&&(c=N[c]),"string"==typeof c)var d=c,e={};else if(null!=c)var d=c.name,e=c;var f=M[d];return f?f(b,e||{}):(window.console&&console.warn("No mode "+d+" found, falling back to plain text."),a.getMode(b,"text/plain"))},a.listModes=function(){var a=[];for(var b in M)M.propertyIsEnumerable(b)&&a.push(b);return a},a.listMIMEs=function(){var a=[];for(var b in N)N.propertyIsEnumerable(b)&&a.push({mime:b,mode:N[b]});return a};var O=a.extensions={};a.defineExtension=function(a,b){O[a]=b};var P=a.commands={selectAll:function(a){a.setSelection({line:0,ch:0},{line:a.lineCount()-1})},killLine:function(a){var b=a.getCursor(!0),c=a.getCursor(!1),d=!E(b,c);d||a.getLine(b.line).length!=b.ch?a.replaceRange("",b,d?c:{line:b.line}):a.replaceRange("",b,{line:b.line+1,ch:0})},deleteLine:function(a){var b=a.getCursor().line;a.replaceRange("",{line:b,ch:0},{line:b})},undo:function(a){a.undo()},redo:function(a){a.redo()},goDocStart:function(a){a.setCursor(0,0,!0)},goDocEnd:function(a){a.setSelection({line:a.lineCount()-1},null,!0)},goLineStart:function(a){a.setCursor(a.getCursor().line,0,!0)},goLineStartSmart:function(a){var b=a.getCursor(),c=a.getLine(b.line),d=Math.max(0,c.search(/\S/));a.setCursor(b.line,b.ch<=d&&b.ch?0:d,!0)},goLineEnd:function(a){a.setSelection({line:a.getCursor().line},null,!0)},goLineUp:function(a){a.moveV(-1,"line")},goLineDown:function(a){a.moveV(1,"line")},goPageUp:function(a){a.moveV(-1,"page")},goPageDown:function(a){a.moveV(1,"page")},goCharLeft:function(a){a.moveH(-1,"char")},goCharRight:function(a){a.moveH(1,"char")},goColumnLeft:function(a){a.moveH(-1,"column")},goColumnRight:function(a){a.moveH(1,"column")},goWordLeft:function(a){a.moveH(-1,"word")},goWordRight:function(a){a.moveH(1,"word")},delCharLeft:function(a){a.deleteH(-1,"char")},delCharRight:function(a){a.deleteH(1,"char")},delWordLeft:function(a){a.deleteH(-1,"word")},delWordRight:function(a){a.deleteH(1,"word")},indentAuto:function(a){a.indentSelection("smart")},indentMore:function(a){a.indentSelection("add")},indentLess:function(a){a.indentSelection("subtract")},insertTab:function(a){a.replaceSelection("\t","end")},transposeChars:function(a){var b=a.getCursor(),c=a.getLine(b.line);b.ch>0&&b.ch<c.length-1&&a.replaceRange(c.charAt(b.ch)+c.charAt(b.ch-1),{line:b.line,ch:b.ch-1},{line:b.line,ch:b.ch+1})},newlineAndIndent:function(a){a.replaceSelection("\n","end"),a.indentLine(a.getCursor().line)},toggleOverwrite:function(a){a.toggleOverwrite()}},Q=a.keyMap={};Q.basic={Left:"goCharLeft",Right:"goCharRight",Up:"goLineUp",Down:"goLineDown",End:"goLineEnd",Home:"goLineStartSmart",PageUp:"goPageUp",PageDown:"goPageDown",Delete:"delCharRight",Backspace:"delCharLeft",Tab:"indentMore","Shift-Tab":"indentLess",Enter:"newlineAndIndent",Insert:"toggleOverwrite"},Q.pcDefault={"Ctrl-A":"selectAll","Ctrl-D":"deleteLine","Ctrl-Z":"undo","Shift-Ctrl-Z":"redo","Ctrl-Y":"redo","Ctrl-Home":"goDocStart","Alt-Up":"goDocStart","Ctrl-End":"goDocEnd","Ctrl-Down":"goDocEnd","Ctrl-Left":"goWordLeft","Ctrl-Right":"goWordRight","Alt-Left":"goLineStart","Alt-Right":"goLineEnd","Ctrl-Backspace":"delWordLeft","Ctrl-Delete":"delWordRight","Ctrl-S":"save","Ctrl-F":"find","Ctrl-G":"findNext","Shift-Ctrl-G":"findPrev","Shift-Ctrl-F":"replace","Shift-Ctrl-R":"replaceAll",fallthrough:"basic"},Q.macDefault={"Cmd-A":"selectAll","Cmd-D":"deleteLine","Cmd-Z":"undo","Shift-Cmd-Z":"redo","Cmd-Y":"redo","Cmd-Up":"goDocStart","Cmd-End":"goDocEnd","Cmd-Down":"goDocEnd","Alt-Left":"goWordLeft","Alt-Right":"goWordRight","Cmd-Left":"goLineStart","Cmd-Right":"goLineEnd","Alt-Backspace":"delWordLeft","Ctrl-Alt-Backspace":"delWordRight","Alt-Delete":"delWordRight","Cmd-S":"save","Cmd-F":"find","Cmd-G":"findNext","Shift-Cmd-G":"findPrev","Cmd-Alt-F":"replace","Shift-Cmd-Alt-F":"replaceAll",fallthrough:["basic","emacsy"]},Q["default"]=L?Q.macDefault:Q.pcDefault,Q.emacsy={"Ctrl-F":"goCharRight","Ctrl-B":"goCharLeft","Ctrl-P":"goLineUp","Ctrl-N":"goLineDown","Alt-F":"goWordRight","Alt-B":"goWordLeft","Ctrl-A":"goLineStart","Ctrl-E":"goLineEnd","Ctrl-V":"goPageUp","Shift-Ctrl-V":"goPageDown","Ctrl-D":"delCharRight","Ctrl-H":"delCharLeft","Alt-D":"delWordRight","Alt-Backspace":"delWordLeft","Ctrl-K":"killLine","Ctrl-T":"transposeChars"},a.fromTextArea=function(b,c){function d(){b.value=h.getValue()}function e(){d(),b.form.submit=g,b.form.submit(),b.form.submit=e}if(c||(c={}),c.value=b.value,!c.tabindex&&b.tabindex&&(c.tabindex=b.tabindex),b.form){var f=y(b.form,"submit",d,!0);if("function"==typeof b.form.submit){var g=b.form.submit;b.form.submit=e}}b.style.display="none";var h=a(function(a){b.parentNode.insertBefore(a,b.nextSibling)},c);return h.save=d,h.getTextArea=function(){return b},h.toTextArea=function(){d(),b.parentNode.removeChild(h.getWrapperElement()),b.style.display="",b.form&&(f(),"function"==typeof b.form.submit&&(b.form.submit=g))},h},a.copyState=d,a.startState=e,f.prototype={eol:function(){return this.pos>=this.string.length},sol:function(){return 0==this.pos},peek:function(){return this.string.charAt(this.pos)},next:function(){if(this.pos<this.string.length)return this.string.charAt(this.pos++)},eat:function(a){var b=this.string.charAt(this.pos);if("string"==typeof a)var c=b==a;else var c=b&&(a.test?a.test(b):a(b));if(c)return++this.pos,b},eatWhile:function(a){for(var b=this.pos;this.eat(a););return this.pos>b},eatSpace:function(){for(var a=this.pos;/[\s\u00a0]/.test(this.string.charAt(this.pos));)++this.pos;return this.pos>a},skipToEnd:function(){this.pos=this.string.length},skipTo:function(a){var b=this.string.indexOf(a,this.pos);if(b>-1)return this.pos=b,!0},backUp:function(a){this.pos-=a},column:function(){return A(this.string,this.start,this.tabSize)},indentation:function(){return A(this.string,null,this.tabSize)},match:function(a,b,c){function d(a){return c?a.toLowerCase():a}if("string"!=typeof a){var e=this.string.slice(this.pos).match(a);return e&&b!==!1&&(this.pos+=e[0].length),e}if(d(this.string).indexOf(d(a),this.pos)==this.pos)return b!==!1&&(this.pos+=a.length),!0},current:function(){return this.string.slice(this.start,this.pos)}},a.StringStream=f,g.prototype={attach:function(a){this.set.push(a)},detach:function(a){var b=J(this.set,a);b>-1&&this.set.splice(b,1)},split:function(a,b){if(this.to<=a&&null!=this.to)return null;var c=this.from<a||null==this.from?null:this.from-a+b,d=null==this.to?null:this.to-a+b;return new g(c,d,this.style,this.set)},dup:function(){return new g(null,null,this.style,this.set)},clipTo:function(a,b,c,d,e){null!=this.from&&this.from>=b&&(this.from=Math.max(d,this.from)+e),null!=this.to&&this.to>b&&(this.to=d<this.to?this.to+e:b),a&&d>this.from&&(d<this.to||null==this.to)&&(this.from=null),c&&(b<this.to||null==this.to)&&(b>this.from||null==this.from)&&(this.to=null)},isDead:function(){return null!=this.from&&null!=this.to&&this.from>=this.to},sameSet:function(a){return this.set==a.set}},h.prototype={attach:function(a){this.line=a},detach:function(a){this.line==a&&(this.line=null)},split:function(a,b){if(a<this.from)return this.from=this.to=this.from-a+b,this},isDead:function(){return this.from>this.to},clipTo:function(a,b,c,d,e){(a||b<this.from)&&(c||d>this.to)?(this.from=0,this.to=-1):this.from>b&&(this.from=this.to=Math.max(d,this.from)+e)},sameSet:function(a){return!1},find:function(){return this.line&&this.line.parent?{line:n(this.line),ch:this.from}:null},clear:function(){if(this.line){var a=J(this.line.marked,this);a!=-1&&this.line.marked.splice(a,1),this.line=null}}},i.inheritMarks=function(a,b){var c=new i(a),d=b&&b.marked;if(d)for(var e=0;e<d.length;++e)if(null==d[e].to&&d[e].style){var f=c.marked||(c.marked=[]),g=d[e],h=g.dup();f.push(h),h.attach(c)}return c},i.prototype={replace:function(a,b,c){var d=[],e=this.marked,f=null==b?this.text.length:b;if(j(0,a,this.styles,d),c&&d.push(c,null),j(f,this.text.length,this.styles,d),this.styles=d,this.text=this.text.slice(0,a)+c+this.text.slice(f),this.stateAfter=null,e)for(var g=c.length-(f-a),h=0,i=e[h];h<e.length;++h)i.clipTo(null==a,a||0,null==b,f,g),i.isDead()&&(i.detach(this),e.splice(h--,1))},split:function(a,b){var c=[b,null],d=this.marked;j(a,this.text.length,this.styles,c);var e=new i(b+this.text.slice(a),c);if(d)for(var f=0;f<d.length;++f){var g=d[f],h=g.split(a,b.length);h&&(e.marked||(e.marked=[]),e.marked.push(h),h.attach(e))}return e},append:function(a){var b=this.text.length,c=a.marked,d=this.marked;if(this.text+=a.text,j(0,a.text.length,a.styles,this.styles),d)for(var e=0;e<d.length;++e)null==d[e].to&&(d[e].to=b);if(c&&c.length){d||(this.marked=d=[]);a:for(var e=0;e<c.length;++e){var f=c[e];if(!f.from)for(var g=0;g<d.length;++g){var h=d[g];if(h.to==b&&h.sameSet(f)){h.to=null==f.to?null:f.to+b,h.isDead()&&(h.detach(this),c.splice(e--,1));continue a}}d.push(f),f.attach(this),f.from+=b,null!=f.to&&(f.to+=b)}}},fixMarkEnds:function(a){var b=this.marked,c=a.marked;if(b)for(var d=0;d<b.length;++d){var e=b[d],f=null==e.to;if(f&&c)for(var g=0;g<c.length;++g)if(c[g].sameSet(e)){f=!1;break}f&&(e.to=this.text.length)}},fixMarkStarts:function(){var a=this.marked;if(a)for(var b=0;b<a.length;++b)null==a[b].from&&(a[b].from=0)},addMark:function(a){a.attach(this),null==this.marked&&(this.marked=[]),this.marked.push(a),this.marked.sort(function(a,b){return(a.from||0)-(b.from||0)})},highlight:function(a,b,c){var d,e=new f(this.text,c),g=this.styles,h=0,i=!1,j=g[0];for(""==this.text&&a.blankLine&&a.blankLine(b);!e.eol();){var k=a.token(e,b),l=this.text.slice(e.start,e.pos);if(e.start=e.pos,h&&g[h-1]==k?g[h-2]+=l:l&&(!i&&(g[h+1]!=k||h&&g[h-2]!=d)&&(i=!0),g[h++]=l,g[h++]=k,d=j,j=g[h]),e.pos>5e3){g[h++]=this.text.slice(e.pos),g[h++]=null;break}}return g.length!=h&&(g.length=h,i=!0),h&&g[h-2]!=d&&(i=!0),i||g.length<5&&this.text.length<10&&null},getTokenAt:function(a,b,c){for(var d=this.text,e=new f(d);e.pos<c&&!e.eol();){e.start=e.pos;var g=a.token(e,b)}return{start:e.start,end:e.pos,string:e.current(),className:g||null,state:b}},indentation:function(a){return A(this.text,null,a)},getHTML:function(a,b,c,d,e){function f(a,b){a&&(i&&T&&" "==a.charAt(0)&&(a=" "+a.slice(1)),i=!1,b?h.push('<span class="',b,'">',H(a).replace(/\t/g,d),"</span>"):h.push(H(a).replace(/\t/g,d)))}function g(){l&&(r+=1,s=r<l.length?l[r]:null)}var h=[],i=!0;c&&h.push(this.className?'<pre class="'+this.className+'">':"<pre>");var j=this.styles,k=this.text,l=this.marked;a==b&&(a=null);var m=k.length;if(null!=e&&(m=Math.min(e,m)),k||null!=e)if(l||null!=a){var n,o=0,p=0,q="",r=-1,s=null;for(g();o<m;){var t=m,u="";for(null!=a&&(a>o?t=a:(null==b||b>o)&&(u=" CodeMirror-selected",null!=b&&(t=Math.min(t,b))));s&&null!=s.to&&s.to<=o;)g();for(s&&(s.from>o?t=Math.min(t,s.from):(u+=" "+s.style,null!=s.to&&(t=Math.min(t,s.to))));;){var v=o+q.length,w=n;if(u&&(w=n?n+u:u),f(v>t?q.slice(0,t-o):q,w),v>=t){q=q.slice(t-o),o=t;break}o=v,q=j[p++],n="cm-"+j[p++]}}null!=a&&null==b&&f(" ","CodeMirror-selected")}else for(var p=0,x=0;x<m;p+=2){var y=j[p],n=j[p+1],z=y.length;x+z>m&&(y=y.slice(0,m-x)),x+=z,f(y,n&&"cm-"+n)}else f(" ",null!=a&&null==b?"CodeMirror-selected":null);return c&&h.push("</pre>"),h.join("")},cleanUp:function(){if(this.parent=null,this.marked)for(var a=0,b=this.marked.length;a<b;++a)this.marked[a].detach(this)}},k.prototype={chunkSize:function(){return this.lines.length},remove:function(a,b,c){for(var d=a,e=a+b;d<e;++d){var f=this.lines[d];if(this.height-=f.height,f.cleanUp(),f.handlers)for(var g=0;g<f.handlers.length;++g)c.push(f.handlers[g])}this.lines.splice(a,b)},collapse:function(a){a.splice.apply(a,[a.length,0].concat(this.lines))},insertHeight:function(a,b,c){this.height+=c,this.lines.splice.apply(this.lines,[a,0].concat(b));for(var d=0,e=b.length;d<e;++d)b[d].parent=this},iterN:function(a,b,c){for(var d=a+b;a<d;++a)if(c(this.lines[a]))return!0}},l.prototype={chunkSize:function(){return this.size},remove:function(a,b,c){this.size-=b;for(var d=0;d<this.children.length;++d){var e=this.children[d],f=e.chunkSize();if(a<f){var g=Math.min(b,f-a),h=e.height;if(e.remove(a,g,c),this.height-=h-e.height,f==g&&(this.children.splice(d--,1),e.parent=null),0==(b-=g))break;a=0}else a-=f}if(this.size-b<25){var i=[];this.collapse(i),this.children=[new k(i)]}},collapse:function(a){for(var b=0,c=this.children.length;b<c;++b)this.children[b].collapse(a)},insert:function(a,b){for(var c=0,d=0,e=b.length;d<e;++d)c+=b[d].height;this.insertHeight(a,b,c)},insertHeight:function(a,b,c){this.size+=b.length,this.height+=c;for(var d=0,e=this.children.length;d<e;++d){var f=this.children[d],g=f.chunkSize();if(a<=g){if(f.insertHeight(a,b,c),f.lines&&f.lines.length>50){for(;f.lines.length>50;){var h=f.lines.splice(f.lines.length-25,25),i=new k(h);f.height-=i.height,this.children.splice(d+1,0,i),i.parent=this}this.maybeSpill()}break}a-=g}},maybeSpill:function(){if(!(this.children.length<=10)){var a=this;do{var b=a.children.splice(a.children.length-5,5),c=new l(b);if(a.parent){a.size-=c.size,a.height-=c.height;var d=J(a.parent.children,a);a.parent.children.splice(d+1,0,c)}else{var e=new l(a.children);e.parent=a,a.children=[e,c],a=e}c.parent=a.parent}while(a.children.length>10);a.parent.maybeSpill()}},iter:function(a,b,c){this.iterN(a,b-a,c)},iterN:function(a,b,c){for(var d=0,e=this.children.length;d<e;++d){var f=this.children[d],g=f.chunkSize();if(a<g){var h=Math.min(b,g-a);if(f.iterN(a,h,c))return!0;if(0==(b-=h))break;a=0}else a-=g}}},q.prototype={addChange:function(a,b,c){this.undone.length=0;var d=+new Date,e=this.done[this.done.length-1];if(d-this.time>400||!e||e.start>a+b||e.start+e.added<a-e.added+e.old.length)this.done.push({start:a,added:b,old:c});else{var f=0;if(a<e.start){for(var g=e.start-a-1;g>=0;--g)e.old.unshift(c[g]);e.added+=e.start-a,e.start=a}else e.start<a&&(f=a-e.start,b+=f);for(var g=e.added-f,h=c.length;g<h;++g)e.old.push(c[g]);e.added<b&&(e.added=b)}this.time=d}},a.e_stop=v,a.e_preventDefault=t,a.e_stopPropagation=u,a.connect=y,z.prototype={set:function(a,b){clearTimeout(this.id),this.id=setTimeout(b,a)}};var R=function(){if(/MSIE [1-8]\b/.test(navigator.userAgent))return!1;var a=document.createElement("div");return"draggable"in a}(),S=/gecko\/\d{7}/i.test(navigator.userAgent),T=/MSIE \d/.test(navigator.userAgent),U=/WebKit\//.test(navigator.userAgent),V="\n";!function(){var a=document.createElement("textarea");a.value="foo\nbar",a.value.indexOf("\r")>-1&&(V="\r\n")}(),null!=document.documentElement.getBoundingClientRect&&(C=function(a,b){try{var c=a.getBoundingClientRect();c={top:c.top,left:c.left}}catch(d){c={top:0,left:0}}if(!b)if(null==window.pageYOffset){var e=document.documentElement||document.body.parentNode;null==e.scrollTop&&(e=document.body),c.top+=e.scrollTop,c.left+=e.scrollLeft}else c.top+=window.pageYOffset,c.left+=window.pageXOffset;return c});var W=document.createElement("pre");"\na"==H("a")?H=function(a){return W.textContent=a,W.innerHTML.slice(1)}:"\t"!=H("\t")&&(H=function(a){return W.innerHTML="",W.appendChild(document.createTextNode(a)),W.innerHTML}),a.htmlEscape=H;var X=3!="\n\nb".split(/\n/).length?function(a){for(var b,c=0,d=[];(b=a.indexOf("\n",c))>-1;)d.push(a.slice(c,"\r"==a.charAt(b-1)?b-1:b)),c=b+1;return d.push(a.slice(c)),d}:function(a){return a.split(/\r?\n/)};a.splitLines=X;var Y=window.getSelection?function(a){try{return a.selectionStart!=a.selectionEnd}catch(b){return!1}}:function(a){try{var b=a.ownerDocument.selection.createRange()}catch(c){}return!(!b||b.parentElement()!=a)&&0!=b.compareEndPoints("StartToEnd",b)};a.defineMode("null",function(){return{token:function(a){a.skipToEnd()}}}),a.defineMIME("text/plain","null");var Z={3:"Enter",8:"Backspace",9:"Tab",13:"Enter",16:"Shift",17:"Ctrl",18:"Alt",19:"Pause",20:"CapsLock",27:"Esc",32:"Space",33:"PageUp",34:"PageDown",35:"End",36:"Home",37:"Left",38:"Up",39:"Right",40:"Down",44:"PrintScrn",45:"Insert",46:"Delete",59:";",91:"Mod",92:"Mod",93:"Mod",186:";",187:"=",188:",",189:"-",190:".",191:"/",192:"`",219:"[",220:"\\",221:"]",222:"'",63276:"PageUp",63277:"PageDown",63275:"End",63273:"Home",63234:"Left",63232:"Up",63235:"Right",63233:"Down",63302:"Insert",63272:"Delete"};return a.keyNames=Z,function(){for(var a=0;a<10;a++)Z[a+48]=String(a);for(var a=65;a<=90;a++)Z[a]=String.fromCharCode(a);for(var a=1;a<=12;a++)Z[a+111]=Z[a+63235]="F"+a}(),a}();CodeMirror.defineMode("xml",function(a,b){function c(a,b){function c(c){return b.tokenize=c,c(a,b)}var e=a.next();if("<"==e){if(a.eat("!"))return a.eat("[")?a.match("CDATA[")?c(f("atom","]]>")):null:a.match("--")?c(f("comment","-->")):a.match("DOCTYPE",!0,!0)?(a.eatWhile(/[\w\._\-]/),c(g(1))):null;if(a.eat("?"))return a.eatWhile(/[\w\._\-]/),b.tokenize=f("meta","?>"),"meta";s=a.eat("/")?"closeTag":"openTag",a.eatSpace(),r="";for(var h;h=a.eat(/[^\s\u00a0=<>\"\'\/?]/);)r+=h;return b.tokenize=d,"tag"}return"&"==e?(a.eatWhile(/[^;]/),a.eat(";"),"atom"):(a.eatWhile(/[^&<]/),null)}function d(a,b){var d=a.next();return">"==d||"/"==d&&a.eat(">")?(b.tokenize=c,s=">"==d?"endTag":"selfcloseTag","tag"):"="==d?(s="equals",null):/[\'\"]/.test(d)?(b.tokenize=e(d),b.tokenize(a,b)):(a.eatWhile(/[^\s\u00a0=<>\"\'\/?]/),"word")}function e(a){return function(b,c){for(;!b.eol();)if(b.next()==a){c.tokenize=d;break}return"string"}}function f(a,b){return function(d,e){for(;!d.eol();){if(d.match(b)){e.tokenize=c;break}d.next()}return a}}function g(a){return function(b,d){for(var e;null!=(e=b.next());){if("<"==e)return d.tokenize=g(a+1),d.tokenize(b,d);if(">"==e){if(1==a){d.tokenize=c;break}return d.tokenize=g(a-1),d.tokenize(b,d)}}return"meta"}}function h(){for(var a=arguments.length-1;a>=0;a--)t.cc.push(arguments[a])}function i(){return h.apply(null,arguments),!0}function j(a,b){var c=w.doNotIndent.hasOwnProperty(a)||t.context&&t.context.noIndent;t.context={prev:t.context,tagName:a,indent:t.indented,startOfLine:b,noIndent:c}}function k(){t.context&&(t.context=t.context.prev)}function l(a){if("openTag"==a)return t.tagName=r,i(o,m(t.startOfLine));if("closeTag"==a){var b=!1;return b=!t.context||t.context.tagName!=r,b&&(u="error"),i(n(b))}return i()}function m(a){return function(b){return"selfcloseTag"==b||"endTag"==b&&w.autoSelfClosers.hasOwnProperty(t.tagName.toLowerCase())?i():"endTag"==b?(j(t.tagName,a),i()):i()}}function n(a){return function(b){return a&&(u="error"),"endTag"==b?(k(),i()):(u="error",i(arguments.callee))}}function o(a){return"word"==a?(u="attribute",i(o)):"equals"==a?i(p,o):"string"==a?(u="error",i(o)):h()}function p(a){return"word"==a&&w.allowUnquoted?(u="string",i()):"string"==a?i(q):h()}function q(a){return"string"==a?i(q):h()}var r,s,t,u,v=a.indentUnit,w=b.htmlMode?{autoSelfClosers:{br:!0,img:!0,hr:!0,link:!0,input:!0,meta:!0,col:!0,frame:!0,base:!0,area:!0},doNotIndent:{pre:!0},allowUnquoted:!0}:{autoSelfClosers:{},doNotIndent:{},allowUnquoted:!1},x=b.alignCDATA;return{startState:function(){return{tokenize:c,cc:[],indented:0,startOfLine:!0,tagName:null,context:null}},token:function(a,b){if(a.sol()&&(b.startOfLine=!0,b.indented=a.indentation()),a.eatSpace())return null;u=s=r=null;var c=b.tokenize(a,b);if(b.type=s,(c||s)&&"comment"!=c)for(t=b;;){var d=b.cc.pop()||l;if(d(s||c))break}return b.startOfLine=!1,u||c},indent:function(a,b,e){var f=a.context;if(a.tokenize!=d&&a.tokenize!=c||f&&f.noIndent)return e?e.match(/^(\s*)/)[0].length:0;if(x&&/<!\[CDATA\[/.test(b))return 0;for(f&&/^<\//.test(b)&&(f=f.prev);f&&!f.startOfLine;)f=f.prev;return f?f.indent+v:0},compareStates:function(a,b){if(a.indented!=b.indented||a.tokenize!=b.tokenize)return!1;for(var c=a.context,d=b.context;;c=c.prev,d=d.prev){if(!c||!d)return c==d;if(c.tagName!=d.tagName)return!1}},electricChars:"/"}}),CodeMirror.defineMIME("application/xml","xml"),CodeMirror.defineMIME("text/html",{name:"xml",htmlMode:!0}),CodeMirror.defineMode("javascript",function(a,b){function c(a,b,c){return b.tokenize=c,c(a,b)}function d(a,b){for(var c,d=!1;null!=(c=a.next());){if(c==b&&!d)return!1;d=!d&&"\\"==c}return d}function e(a,b,c){return K=a,L=c,b}function f(a,b){var f=a.next();if('"'==f||"'"==f)return c(a,b,g(f));if(/[\[\]{}\(\),;\:\.]/.test(f))return e(f);if("0"==f&&a.eat(/x/i))return a.eatWhile(/[\da-f]/i),e("number","number");if(/\d/.test(f))return a.match(/^\d*(?:\.\d*)?(?:[eE][+\-]?\d+)?/),e("number","number");if("/"==f)return a.eat("*")?c(a,b,h):a.eat("/")?(a.skipToEnd(),e("comment","comment")):b.reAllowed?(d(a,"/"),a.eatWhile(/[gimy]/),e("regexp","string")):(a.eatWhile(P),e("operator",null,a.current()));if("#"==f)return a.skipToEnd(),e("error","error");if(P.test(f))return a.eatWhile(P),e("operator",null,a.current());a.eatWhile(/[\w\$_]/);var i=a.current(),j=O.propertyIsEnumerable(i)&&O[i];return j&&b.kwAllowed?e(j.type,j.style,i):e("variable","variable",i)}function g(a){return function(b,c){return d(b,a)||(c.tokenize=f),e("string","string")}}function h(a,b){for(var c,d=!1;c=a.next();){if("/"==c&&d){b.tokenize=f;break}d="*"==c}return e("comment","comment")}function i(a,b,c,d,e,f){this.indented=a,this.column=b,this.type=c,this.prev=e,this.info=f,null!=d&&(this.align=d)}function j(a,b){for(var c=a.localVars;c;c=c.next)if(c.name==b)return!0}function k(a,b,c,d,e){var f=a.cc;for(R.state=a,R.stream=e,R.marked=null,R.cc=f,a.lexical.hasOwnProperty("align")||(a.lexical.align=!0);;){var g=f.length?f.pop():N?u:t;if(g(c,d)){for(;f.length&&f[f.length-1].lex;)f.pop()();return R.marked?R.marked:"variable"==c&&j(a,d)?"variable-2":b}}}function l(){for(var a=arguments.length-1;a>=0;a--)R.cc.push(arguments[a])}function m(){return l.apply(null,arguments),!0}function n(a){var b=R.state;if(b.context){R.marked="def";for(var c=b.localVars;c;c=c.next)if(c.name==a)return;b.localVars={name:a,next:b.localVars}}}function o(){R.state.context||(R.state.localVars=S),R.state.context={prev:R.state.context,vars:R.state.localVars}}function p(){R.state.localVars=R.state.context.vars,R.state.context=R.state.context.prev}function q(a,b){var c=function(){var c=R.state;c.lexical=new i(c.indented,R.stream.column(),a,null,c.lexical,b)};return c.lex=!0,c}function r(){var a=R.state;a.lexical.prev&&(")"==a.lexical.type&&(a.indented=a.lexical.indented),a.lexical=a.lexical.prev)}function s(a){return function(b){return b==a?m():";"==a?l():m(arguments.callee)}}function t(a){return"var"==a?m(q("vardef"),C,s(";"),r):"keyword a"==a?m(q("form"),u,t,r):"keyword b"==a?m(q("form"),t,r):"{"==a?m(q("}"),B,r):";"==a?m():"function"==a?m(I):"for"==a?m(q("form"),s("("),q(")"),E,s(")"),r,t,r):"variable"==a?m(q("stat"),x):"switch"==a?m(q("form"),u,q("}","switch"),s("{"),B,r,r):"case"==a?m(u,s(":")):"default"==a?m(s(":")):"catch"==a?m(q("form"),o,s("("),J,s(")"),t,r,p):l(q("stat"),u,s(";"),r)}function u(a){return Q.hasOwnProperty(a)?m(w):"function"==a?m(I):"keyword c"==a?m(v):"("==a?m(q(")"),u,s(")"),r,w):"operator"==a?m(u):"["==a?m(q("]"),A(u,"]"),r,w):"{"==a?m(q("}"),A(z,"}"),r,w):m()}function v(a){return a.match(/[;\}\)\],]/)?l():l(u)}function w(a,b){if("operator"==a&&/\+\+|--/.test(b))return m(w);if("operator"==a)return m(u);if(";"!=a)return"("==a?m(q(")"),A(u,")"),r,w):"."==a?m(y,w):"["==a?m(q("]"),u,s("]"),r,w):void 0}function x(a){return":"==a?m(r,t):l(w,s(";"),r)}function y(a){if("variable"==a)return R.marked="property",m()}function z(a){if("variable"==a&&(R.marked="property"),Q.hasOwnProperty(a))return m(s(":"),u)}function A(a,b){function c(d){return","==d?m(a,c):d==b?m():m(s(b))}return function(d){return d==b?m():l(a,c)}}function B(a){return"}"==a?m():l(t,B)}function C(a,b){return"variable"==a?(n(b),m(D)):m()}function D(a,b){return"="==b?m(u,D):","==a?m(C):void 0}function E(a){return"var"==a?m(C,G):";"==a?l(G):"variable"==a?m(F):l(G)}function F(a,b){return"in"==b?m(u):m(w,G)}function G(a,b){return";"==a?m(H):"in"==b?m(u):m(u,s(";"),H)}function H(a){")"!=a&&m(u)}function I(a,b){return"variable"==a?(n(b),m(I)):"("==a?m(q(")"),o,A(J,")"),r,t,p):void 0}function J(a,b){if("variable"==a)return n(b),m()}var K,L,M=a.indentUnit,N=b.json,O=function(){function a(a){return{type:a,style:"keyword"}}var b=a("keyword a"),c=a("keyword b"),d=a("keyword c"),e=a("operator"),f={type:"atom",style:"atom"};return{"if":b,"while":b,"with":b,"else":c,"do":c,"try":c,"finally":c,"return":d,"break":d,"continue":d,"new":d,"delete":d,"throw":d,"var":a("var"),"const":a("var"),"let":a("var"),"function":a("function"),"catch":a("catch"),"for":a("for"),"switch":a("switch"),"case":a("case"),"default":a("default"),"in":e,"typeof":e,"instanceof":e,"true":f,"false":f,"null":f,undefined:f,NaN:f,Infinity:f}}(),P=/[+\-*&%=<>!?|]/,Q={atom:!0,number:!0,variable:!0,string:!0,regexp:!0},R={state:null,column:null,marked:null,cc:null},S={name:"this",next:{name:"arguments"}};return r.lex=!0,{startState:function(a){return{tokenize:f,reAllowed:!0,kwAllowed:!0,cc:[],lexical:new i((a||0)-M,0,"block",(!1)),localVars:null,context:null,indented:0}},token:function(a,b){if(a.sol()&&(b.lexical.hasOwnProperty("align")||(b.lexical.align=!1),b.indented=a.indentation()),a.eatSpace())return null;var c=b.tokenize(a,b);return"comment"==K?c:(b.reAllowed="operator"==K||"keyword c"==K||K.match(/^[\[{}\(,;:]$/),b.kwAllowed="."!=K,k(b,c,K,L,a))},indent:function(a,b){if(a.tokenize!=f)return 0;var c=b&&b.charAt(0),d=a.lexical,e=d.type,g=c==e;return"vardef"==e?d.indented+4:"form"==e&&"{"==c?d.indented:"stat"==e||"form"==e?d.indented+M:"switch"!=d.info||g?d.align?d.column+(g?0:1):d.indented+(g?0:M):d.indented+(/^(?:case|default)\b/.test(b)?M:2*M)},electricChars:":{}"}}),CodeMirror.defineMIME("text/javascript","javascript"),CodeMirror.defineMIME("application/json",{name:"javascript",json:!0}),CodeMirror.defineMode("css",function(a){function b(a,b){return g=b,a}function c(a,c){var g=a.next();return"@"==g?(a.eatWhile(/[\w\\\-]/),b("meta",a.current())):"/"==g&&a.eat("*")?(c.tokenize=d,d(a,c)):"<"==g&&a.eat("!")?(c.tokenize=e,e(a,c)):"="!=g?"~"!=g&&"|"!=g||!a.eat("=")?'"'==g||"'"==g?(c.tokenize=f(g),c.tokenize(a,c)):"#"==g?(a.eatWhile(/[\w\\\-]/),b("atom","hash")):"!"==g?(a.match(/^\s*\w*/),b("keyword","important")):/\d/.test(g)?(a.eatWhile(/[\w.%]/),b("number","unit")):/[,.+>*\/]/.test(g)?b(null,"select-op"):/[;{}:\[\]]/.test(g)?b(null,g):(a.eatWhile(/[\w\\\-]/),b("variable","variable")):b(null,"compare"):void b(null,"compare")}function d(a,d){for(var e,f=!1;null!=(e=a.next());){if(f&&"/"==e){d.tokenize=c;break}f="*"==e}return b("comment","comment")}function e(a,d){for(var e,f=0;null!=(e=a.next());){if(f>=2&&">"==e){d.tokenize=c;break}f="-"==e?f+1:0}return b("comment","comment")}function f(a){return function(d,e){for(var f,g=!1;null!=(f=d.next())&&(f!=a||g);)g=!g&&"\\"==f;return g||(e.tokenize=c),b("string","string")}}var g,h=a.indentUnit;return{startState:function(a){return{tokenize:c,baseIndent:a||0,stack:[]}},token:function(a,b){if(a.eatSpace())return null;var c=b.tokenize(a,b),d=b.stack[b.stack.length-1];return"hash"==g&&"rule"==d?c="atom":"variable"==c&&("rule"==d?c="number":d&&"@media{"!=d||(c="tag")),"rule"==d&&/^[\{\};]$/.test(g)&&b.stack.pop(),"{"==g?"@media"==d?b.stack[b.stack.length-1]="@media{":b.stack.push("{"):"}"==g?b.stack.pop():"@media"==g?b.stack.push("@media"):"{"==d&&"comment"!=g&&b.stack.push("rule"),c},indent:function(a,b){var c=a.stack.length;return/^\}/.test(b)&&(c-="rule"==a.stack[a.stack.length-1]?2:1),a.baseIndent+c*h},electricChars:"}"}}),CodeMirror.defineMIME("text/css","css"),CodeMirror.defineMode("htmlmixed",function(a,b){function c(a,b){var c=g.token(a,b.htmlState);return"tag"==c&&">"==a.current()&&b.htmlState.context&&(/^script$/i.test(b.htmlState.context.tagName)?(b.token=e,b.localState=h.startState(g.indent(b.htmlState,"")),b.mode="javascript"):/^style$/i.test(b.htmlState.context.tagName)&&(b.token=f,b.localState=i.startState(g.indent(b.htmlState,"")),b.mode="css")),c}function d(a,b,c){var d=a.current(),e=d.search(b);return e>-1&&a.backUp(d.length-e),c}function e(a,b){return a.match(/^<\/\s*script\s*>/i,!1)?(b.token=c,b.curState=null,b.mode="html",c(a,b)):d(a,/<\/\s*script\s*>/,h.token(a,b.localState))}function f(a,b){return a.match(/^<\/\s*style\s*>/i,!1)?(b.token=c,b.localState=null,b.mode="html",c(a,b)):d(a,/<\/\s*style\s*>/,i.token(a,b.localState))}var g=CodeMirror.getMode(a,{name:"xml",htmlMode:!0}),h=CodeMirror.getMode(a,"javascript"),i=CodeMirror.getMode(a,"css");return{startState:function(){var a=g.startState();return{token:c,localState:null,mode:"html",htmlState:a}},copyState:function(a){if(a.localState)var b=CodeMirror.copyState(a.token==f?i:h,a.localState);return{token:a.token,localState:b,mode:a.mode,htmlState:CodeMirror.copyState(g,a.htmlState)}},token:function(a,b){return b.token(a,b)},indent:function(a,b){return a.token==c||/^\s*<\//.test(b)?g.indent(a.htmlState,b):a.token==e?h.indent(a.localState,b):i.indent(a.localState,b)},compareStates:function(a,b){return g.compareStates(a.htmlState,b.htmlState)},electricChars:"/{}:"}}),CodeMirror.defineMIME("text/html","htmlmixed");