Function span_

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2666–2693

(text, style)

        getHTML: function(makeTab, wrapAt, wrapId, wrapWBR) {
            var html = [], first = true, col = 0;
            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 (text.indexOf("\t") == -1) {
                    col += text.length;
                    var escaped = htmlEscape(text);
                } else {
                    var escaped = "";
                    for (var pos = 0;;) {
                        var idx = text.indexOf("\t", pos);
                        if (idx == -1) {
                            escaped += htmlEscape(text.slice(pos));
                            col += text.length - pos;
                            break;
                        } else {
                            col += idx - pos;
                            var tab = makeTab(col);
                            escaped += htmlEscape(text.slice(pos, idx)) + tab.html;
                            col += tab.width;
                            pos = idx + 1;
                        }
                    }
                }
                if (style) html.push('<span class="', style, '">', escaped, "</span>");
                else html.push(escaped);
            }
            var span = span_;
            if (wrapAt != null) {
                var outPos = 0, open = "<span id=\"" + wrapId + "\">";