Function flushCode

deployments/desktop/static/desktop.js:2633–2638

()

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

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