function o()

in src/main/resources/js/prettify.js [456:471]


        function o(k) {
            if (k > g) {
                if (e && e !== h) {
                    d.push("</span>");
                    e = null
                }
                if (!e && h) {
                    e = h;
                    d.push('<span class="', e, '">')
                }
                var l = E(j(b.substring(g, k))).replace(/(\r\n?|\n| ) /g,
                        "$1&nbsp;").replace(/\r\n?|\n/g, "<br />");
                d.push(l);
                g = k
            }
        }