codex-overleaf-link 2.3.2 → 2.3.4

package/extension/src/content/panelRenderer.js

@@ -4,11 +4,14 @@
   const ROOT_CLASS = 'codex-overleaf-panel-mounted';
   const RESIZE_CLASS = 'codex-overleaf-panel-resizing';
   const COMPACT_CLASS = 'codex-overleaf-panel-compact';
+  const LAUNCHER_VISIBILITY_STORAGE_KEY = 'codex-overleaf:launcher-visible';
 
   function codexIcon(name) {
     const icons = {
       refresh: '<path d="M4.2 5.3A5 5 0 1 1 3.6 10"/><path d="M4.2 2.2v3.1H1.1"/>',
       plus: '<path d="M8 3.2v9.6"/><path d="M3.2 8h9.6"/>',
+      panel: '<rect x="2.3" y="2.3" width="11.4" height="11.4" rx="2"/><path d="M9.2 2.5v11"/><path d="M5.1 6.1h1.5M5.1 8h1.5M5.1 9.9h1.5"/>',
+      collapse: '<path d="m6.1 3.3 4.7 4.7-4.7 4.7"/>',
       settings: '<path d="M3.4 5.2h5.9"/><path d="M11.7 5.2h.9"/><path d="M10.1 3.6v3.2"/><path d="M3.4 10.8h1"/><path d="M6.8 10.8h5.8"/><path d="M5.9 9.2v3.2"/>'
     };
     const safeName = Object.prototype.hasOwnProperty.call(icons, name) ? name : 'settings';
@@ -19,9 +22,11 @@
     const doc = options.document || document;
     const container = options.container || doc.documentElement;
     const panelEl = doc.createElement('aside');
+    const launcherEl = doc.createElement('button');
     const callbacks = options.callbacks || {};
     const instance = {
       panelEl,
+      launcherEl,
       callbacks,
       defaultWidth: options.defaultWidth || 380,
       minWidth: options.minWidth || 340,
@@ -30,9 +35,18 @@
       lastDesktopWidth: options.initialWidth || options.defaultWidth || 380,
       listeners: [],
       document: doc,
-      window: options.window || window
+      window: options.window || window,
+      chromeApi: options.chromeApi || (typeof chrome !== 'undefined' ? chrome : null),
+      storageChangeListener: null
     };
 
+    launcherEl.id = 'codex-overleaf-launcher';
+    launcherEl.type = 'button';
+    launcherEl.title = options.launcherLabel || 'Show or hide Codex panel';
+    launcherEl.setAttribute('aria-label', launcherEl.title);
+    launcherEl.setAttribute('aria-expanded', 'false');
+    launcherEl.innerHTML = codexIcon('panel');
+
     panelEl.id = options.panelId || 'codex-overleaf-panel';
     panelEl.dataset.view = 'session';
     panelEl.innerHTML = `
@@ -44,6 +58,7 @@
           <div data-diagnostics-slot></div>
           <button type="button" data-new-session title="New Session" aria-label="New Session">${codexIcon('plus')}</button>
           <button type="button" data-custom-instructions-settings title="Project Settings" aria-label="Project Settings" aria-expanded="false">${codexIcon('settings')}</button>
+          <button type="button" data-close-panel title="Close Codex panel" aria-label="Close Codex panel">${codexIcon('collapse')}</button>
         </div>
       </div>
       <div data-settings-slot></div>
@@ -59,6 +74,7 @@
     `;
 
     container.append(panelEl);
+    container.append(launcherEl);
     doc.documentElement.classList.add(ROOT_CLASS);
 
     instance.headerEl = panelEl.querySelector('[data-panel-header]');
@@ -73,6 +89,8 @@
     bind(instance, panelEl.querySelector('[data-refresh]'), 'click', () => callbacks.onRefresh?.());
     bind(instance, panelEl.querySelector('[data-new-session]'), 'click', () => callbacks.onNewSession?.());
     bind(instance, panelEl.querySelector('[data-custom-instructions-settings]'), 'click', () => callbacks.onSettingsClick?.());
+    bind(instance, panelEl.querySelector('[data-close-panel]'), 'click', () => callbacks.onClosePanel?.());
+    bind(instance, launcherEl, 'click', () => callbacks.onLauncherToggle?.());
     bind(instance, panelEl.querySelector('[data-panel-resize-handle]'), 'pointerdown', event => startResize(instance, event));
     bind(instance, panelEl.querySelector('[data-panel-resize-handle]'), 'dblclick', event => {
       event?.preventDefault?.();
@@ -87,9 +105,11 @@
     });
 
     setWidth(instance, options.initialWidth || instance.defaultWidth, { notify: false });
+    initializeLauncherVisibility(instance);
 
     return {
       panelEl,
+      launcherEl,
       headerEl: instance.headerEl,
       bodyEl: instance.bodyEl,
       diagnosticsSlot: instance.diagnosticsSlot,
@@ -198,11 +218,64 @@
   function setVisible(panelEl, visible) {
     panelEl?.classList?.toggle('is-open', Boolean(visible));
     document.documentElement.classList.toggle(ROOT_CLASS, Boolean(visible));
+    const launcherEl = panelEl?.ownerDocument?.getElementById?.('codex-overleaf-launcher');
+    launcherEl?.classList?.toggle('is-panel-open', Boolean(visible));
+    launcherEl?.setAttribute?.('aria-expanded', visible ? 'true' : 'false');
+    if (launcherEl) {
+      launcherEl.hidden = Boolean(visible) || launcherEl.dataset.enabled === 'false';
+      launcherEl.setAttribute('aria-hidden', launcherEl.hidden ? 'true' : 'false');
+    }
     if (!visible) {
       document.documentElement.classList.remove(RESIZE_CLASS, COMPACT_CLASS);
     }
   }
 
+  function initializeLauncherVisibility(instance) {
+    const storage = instance.chromeApi?.storage;
+    if (!storage?.local?.get) {
+      setLauncherVisible(instance, true, { persist: false });
+      return;
+    }
+    Promise.resolve(storage.local.get({ [LAUNCHER_VISIBILITY_STORAGE_KEY]: true }))
+      .then(values => applyLauncherVisibility(instance, values?.[LAUNCHER_VISIBILITY_STORAGE_KEY]))
+      .catch(() => applyLauncherVisibility(instance, true));
+    if (storage.onChanged?.addListener) {
+      instance.storageChangeListener = (changes, areaName) => {
+        if (areaName === 'local' && changes?.[LAUNCHER_VISIBILITY_STORAGE_KEY]) {
+          applyLauncherVisibility(instance, changes[LAUNCHER_VISIBILITY_STORAGE_KEY].newValue);
+        }
+      };
+      storage.onChanged.addListener(instance.storageChangeListener);
+    }
+  }
+
+  function applyLauncherVisibility(instance, value) {
+    const visible = value !== false;
+    setLauncherVisible(instance, visible, { persist: false });
+    instance.callbacks.onLauncherVisibilityChange?.(visible);
+  }
+
+  function setLauncherVisible(target, visible, options = {}) {
+    const instance = target?._instance || target;
+    const launcherEl = instance?.launcherEl;
+    if (!launcherEl) return false;
+    const nextVisible = Boolean(visible);
+    launcherEl.dataset.enabled = nextVisible ? 'true' : 'false';
+    launcherEl.hidden = !nextVisible || instance.panelEl?.classList?.contains('is-open') === true;
+    launcherEl.setAttribute('aria-hidden', launcherEl.hidden ? 'true' : 'false');
+    if (options.persist === true) {
+      Promise.resolve(instance.chromeApi?.storage?.local?.set?.({
+        [LAUNCHER_VISIBILITY_STORAGE_KEY]: nextVisible
+      })).catch(() => {});
+    }
+    return nextVisible;
+  }
+
+  function isLauncherVisible(target) {
+    const instance = target?._instance || target;
+    return Boolean(instance?.launcherEl && instance.launcherEl.dataset.enabled !== 'false');
+  }
+
   function setBadge(headerEl, badge = {}) {
     const actions = headerEl?.querySelector?.('.codex-vscode-head-actions');
     if (!actions) {
@@ -340,6 +413,10 @@
       target.removeEventListener?.(type, listener, options);
     }
     instance.panelEl?.remove?.();
+    instance.launcherEl?.remove?.();
+    if (instance.storageChangeListener) {
+      instance.chromeApi?.storage?.onChanged?.removeListener?.(instance.storageChangeListener);
+    }
     instance.document.documentElement.classList.remove(ROOT_CLASS, RESIZE_CLASS, COMPACT_CLASS);
   }
 
@@ -347,6 +424,8 @@
     create,
     createConfirmController,
     setVisible,
+    setLauncherVisible,
+    isLauncherVisible,
     setBadge,
     setWidth
   };

package/extension/src/content/pendingInputView.js

@@ -16,10 +16,17 @@
       }
       container.replaceChildren();
       container.hidden = !items.length;
+      if (!items.length) {
+        return;
+      }
       for (const item of items) {
         const row = document.createElement('article');
         row.className = 'codex-pending-input';
         row.dataset.status = item.status || 'queued';
+        const marker = document.createElement('span');
+        marker.className = 'codex-pending-input-marker';
+        marker.setAttribute('aria-hidden', 'true');
+        marker.append(createIcon('queue'));
         const copy = document.createElement('div');
         copy.className = 'codex-pending-input-copy';
         const status = document.createElement('span');
@@ -34,7 +41,10 @@
         const text = document.createElement('span');
         text.className = 'codex-pending-input-text';
         text.textContent = item.text;
-        copy.append(status, text);
+        copy.append(text);
+        if (item.status && item.status !== 'queued') {
+          copy.append(status);
+        }
         const actions = document.createElement('div');
         actions.className = 'codex-pending-input-actions';
         if (item.status === 'paused') {
@@ -60,7 +70,8 @@
         remove.disabled = item.status === 'steering' || item.status === 'executing';
         text.title = item.text;
         actions.append(remove);
-        row.append(copy, actions);
+        row.setAttribute('aria-label', `${status.textContent || options.tr?.('queuedInputQueued') || 'Queued'}: ${item.text}`);
+        row.append(marker, copy, actions);
         container.append(row);
       }
     }
@@ -93,7 +104,9 @@
     svg.setAttribute('focusable', 'false');
     const paths = icon === 'guide'
       ? ['M4 4.5v4a4 4 0 0 0 4 4h7', 'm12 9 3.5 3.5L12 16']
-      : ['M6 6h8', 'M8 6V4.5h4V6', 'm7.2 8 0.6 7.5h4.4l.6-7.5'];
+      : icon === 'queue'
+        ? ['M4 5.5h12', 'M4 10h12', 'M4 14.5h8']
+        : ['M6 6h8', 'M8 6V4.5h4V6', 'm7.2 8 0.6 7.5h4.4l.6-7.5'];
     for (const value of paths) {
       const path = document.createElementNS('http://www.w3.org/2000/svg', 'path');
       path.setAttribute('d', value);

package/extension/src/content/providerSettingsDialog.js

@@ -985,6 +985,7 @@
       return;
     }
     const style = instance.document.defaultView.getComputedStyle(panel);
+    instance.root.dataset.theme = panel.dataset.theme === 'light' ? 'light' : 'dark';
     instance.root.style.setProperty('--provider-panel-bg', style.backgroundColor || '#151716');
     instance.root.style.setProperty('--provider-panel-color', style.color || '#eceeea');
   }

package/extension/src/content/runController.js

@@ -231,11 +231,46 @@
     return String(content || '').trim().length > 0;
   }
 
+  function isRetryReplacementEligible(run = {}, projection = {}) {
+    if (!run.id || !['failed', 'interrupted'].includes(run.status)) return false;
+    if (run.trackedChangeStatus || run.undoStatus) return false;
+    if (['undoOperations', 'undoTrackedChanges', 'undoExpectedFiles', 'undoBaseFiles', 'appliedOperations']
+      .some(field => Array.isArray(run[field]) && run[field].length)) return false;
+    if (projection.canAccept || projection.canUndo || projection.changedDocument === true) return false;
+    if (projection.failureTerminalState === 'needs_review' || projection.terminalState === 'needs_review') return false;
+    return projection.changedDocument === false || run.mode === 'ask' || hasZeroWriteReport(run.events);
+  }
+
+  function hasZeroWriteReport(events = []) {
+    return (Array.isArray(events) ? events : []).some(event => {
+      const rows = Array.isArray(event?.detailStructured?.meta) ? event.detailStructured.meta : [];
+      return rows.some(row => row?.key === 'writeResult'
+        && /(?:wrote|写入)\s*0\b[\s\S]*(?:skipped|跳过)\s*0\b/i.test(String(row.value || '')));
+    });
+  }
+
+  function resolveRetryReplacement({ candidate, activeSessionId, runs, projectRunSettlement } = {}) {
+    if (!candidate?.runId || candidate.sessionId !== activeSessionId) return '';
+    const source = (Array.isArray(runs) ? runs : []).find(run => run?.id === candidate.runId);
+    if (!source) return '';
+    const projection = typeof projectRunSettlement === 'function' ? projectRunSettlement(source) : {};
+    return isRetryReplacementEligible(source, projection) ? source.id : '';
+  }
+
+  function replaceRunForRetry(runs, sourceRunId, nextRun, maxRuns = 20) {
+    const retained = (Array.isArray(runs) ? runs : [])
+      .filter(run => !sourceRunId || run?.id !== sourceRunId);
+    return [...retained, nextRun].slice(-Math.max(1, maxRuns));
+  }
+
   return {
     buildCodexRunParams,
     canUseFocusedPartialSnapshot,
     shouldRestrictWritebackToFocus,
     buildSessionHistoryResult,
+    isRetryReplacementEligible,
+    replaceRunForRetry,
+    resolveRetryReplacement,
     truncateSessionHistoryText,
     normalizeComposerAttachments,
     normalizeSkillInvocation

package/extension/src/content/runTimelineView.js

@@ -30,6 +30,7 @@
       cssEscape,
       renderMarkdownInlineText,
       renderMarkdownBlockText,
+      decorateCompletionReport,
       sanitizeAssistantVisibleText,
       sanitizeAssistantVisibleValue,
       stripEmptyHtmlCommentPlaceholders = value => value,
@@ -709,6 +710,7 @@
       }
       if (mainSections.length) {
         renderMarkdownBlockText(main, mainSections.join('\n\n'));
+        decorateCompletionReport(main, { tx });
         report.append(main);
       }
 
@@ -729,6 +731,7 @@
     const body = document.createElement('div');
     body.className = 'run-final-answer';
     renderMarkdownBlockText(body, split.body || flatText);
+    decorateCompletionReport(body, { tx });
     report.append(body);
     appendCompileFix(report);
     appendRejectedRedo(report);

package/extension/src/popup.js

@@ -18,7 +18,7 @@
   let currentInstallCommand = DEFAULT_INSTALL_COMMAND;
 
   installCommand.textContent = currentInstallCommand;
-  button.textContent = 'Open panel in Overleaf';
+  button.textContent = 'Show Codex button in Overleaf';
   setVersionStatus({
     status: 'native_missing',
     classification: 'incompatible',
@@ -32,7 +32,7 @@
       return;
     }
 
-    await chrome.tabs.sendMessage(tab.id, { type: 'codex-overleaf/toggle-panel' });
+    await chrome.tabs.sendMessage(tab.id, { type: 'codex-overleaf/toggle-launcher' });
     window.close();
   });
 
@@ -56,20 +56,20 @@
     const tab = await getActiveOverleafProjectTab();
     activeOverleafTab = tab;
     if (!tab?.id) {
-      button.textContent = 'Open panel in Overleaf';
+      button.textContent = 'Show Codex button in Overleaf';
       return;
     }
 
     try {
       const response = await chrome.tabs.sendMessage(tab.id, { type: 'codex-overleaf/get-panel-state' });
-      const open = response?.open === true;
-      button.textContent = open ? 'Close panel in Overleaf' : 'Open panel in Overleaf';
-      status.textContent = open
-        ? 'Panel is open in this Overleaf tab.'
-        : 'Panel is closed in this Overleaf tab.';
+      const visible = response?.launcherVisible !== false;
+      button.textContent = visible ? 'Hide Codex edge button' : 'Show Codex edge button';
+      status.textContent = visible
+        ? 'The edge button appears whenever the Codex panel is closed.'
+        : 'The Codex edge button is hidden in Overleaf.';
     } catch (_error) {
-      button.textContent = 'Open panel in Overleaf';
-      status.textContent = 'Refresh the Overleaf tab, then open the panel.';
+      button.textContent = 'Show Codex button in Overleaf';
+      status.textContent = 'Refresh the Overleaf tab, then show the Codex button.';
     }
   }
 

package/extension/src/shared/compatibility.js

@@ -12,7 +12,7 @@
   const MIN_NATIVE_VERSION = '1.0.0';
   const MIN_COMPATIBLE_NATIVE_VERSION = '1.0.0';
   const MIN_COMPATIBLE_EXTENSION_VERSION = '1.0.0';
-  const BUILD_TARGET_VERSION = '2.3.2';
+  const BUILD_TARGET_VERSION = '2.3.4';
   const DEFAULT_CHROME_EXTENSION_ID = 'illdpneeeopfffmiepaejglgmhpmdhdc';
   const REQUIRED_CAPABILITIES = Object.freeze([
     'bridgePing',