Function styleToClass

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2725–2728

(style)

            var st = this.styles, allText = this.text, marked = this.marked;
            var len = allText.length;
            function styleToClass(style) {
                if (!style) return null;
                return "cm-" + style.replace(/ +/g, " cm-");
            }

            if (!allText && wrapAt == null) {
                span(" ");