diff --git a/index.html b/index.html index a6dc58d..f09084a 100644 --- a/index.html +++ b/index.html @@ -44,6 +44,7 @@ border-radius: 3px; font-family: 'SFMono-Regular', Consolas, 'Liberation Mono', Menlo, monospace; font-size: 0.9em; + user-select: text; } .markdown-content pre { @@ -54,6 +55,7 @@ overflow-x: auto; margin: 1em 0; border: 1px solid #30363d; + user-select: text; } .markdown-content pre code { @@ -809,7 +811,7 @@ async function handleStreamingResponse(userMessage) { // Debounce DOM updates to reduce stutter let updateScheduled = false let lastUpdate = Date.now() - const MIN_UPDATE_INTERVAL = 50 // ms, update at most every 50ms + const MIN_UPDATE_INTERVAL = 100 // ms, update at most every 100ms function scheduleUpdate() { if (updateScheduled) return