Function renderCode

debug-plugin/content-script.js:197–235

()

        };

        const renderCode = function () {
            if (!cmd || !cmd.programSource) {
                return "";
            }
            cmdMap = [];
            const src = cmd.programSource;

            // Find feature
            let feat = cmd;
            while (feat.parent && !feat.isFeature) feat = feat.parent;

            // Traverse, finding starts
            const all = traverse(feat);
            for (let j = 0; j < all.length; j++) {
                const c = all[j];
                if (!c.startToken) continue;
                cmdMap.push({
                    index: c.startToken.start,
                    widget: makeCommandWidget(cmdMap.length),
                    cmd: c,
                });
            }

            let rv = src.slice(0, cmdMap[0].index);
            for (let i = 0; i < cmdMap.length; i++) {
                const obj = cmdMap[i];
                const end = cmdMap[i + 1] ? cmdMap[i + 1].index : undefined;
                if (obj.cmd === cmd) {
                    rv +=
                        obj.widget +
                        '<u class="current">' +
                        escapeHTML(src.slice(obj.index, end)) +
                        "</u>";
                } else {
                    rv += obj.widget + escapeHTML(src.slice(obj.index, end));
                }
            }
            return rv;
        };

        const traverse = function (ge) {
            const rv = [];