Function flushCode

deployments/desktop/static/reports.js:152–157

()

      quoteLines = [];
    };
    const flushCode = () => {
      if (!inCode) return;
      out.push(`<pre><code>${window.escapeHtml ? window.escapeHtml(codeLines.join("\n")) : codeLines.join("\n")}</code></pre>`);
      inCode = false;
      codeLines = [];
    };

    for (const rawLine of lines) {
      const line = rawLine.replace(/\t/g, "  ");