Function makeTab

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1582–1587

(col)

            changes.push({from: 0, to: doc.size});
        }
        function makeTab(col) {
            var w = options.tabSize - col % options.tabSize, cached = tabCache[w];
            if (cached) return cached;
            for (var str = '<span class="cm-tab">', i = 0; i < w; ++i) str += " ";
            return (tabCache[w] = {html: str + "</span>", width: w});
        }
        function themeChanged() {
            scroller.className = scroller.className.replace(/\s*cm-s-\S+/g, "") +
                options.theme.replace(/(^|\s)\s*/g, " cm-s-");