codex-overleaf-link 2.5.1 → 2.6.0

package/extension/src/content/generated/content.bundle.meta.json

@@ -2,9 +2,9 @@
   "schemaVersion": 1,
   "entry": "extension/entries/content-entry.mjs",
   "output": "extension/src/content/generated/content.bundle.js",
-  "sourceDigest": "548acfc19dd7be907e0c5494f2da2e11fa68dfc501e0552846ad63d4e5a35dba",
-  "outputDigest": "404e0523fc534b56e87ea96e62cd112514c06ce034209ec7a05feef83d7a64a9",
-  "byteLength": 3162346,
+  "sourceDigest": "0cf851b033afb0885464fd86506f423f35fe82d6da8c1f1644012350cab0ddc4",
+  "outputDigest": "0abf629ca414d00be2ab6bbde553c66a7f66ad2d0a4551bb272f3a5948a7d461",
+  "byteLength": 3387559,
   "inputs": [
     "extension/entries/content-entry.mjs",
     "extension/src/content/activeTurnControl.js",
@@ -15,6 +15,7 @@
     "extension/src/content/composerPanel.js",
     "extension/src/content/contentRuntime.js",
     "extension/src/content/contextTray.js",
+    "extension/src/content/contextUsageView.js",
     "extension/src/content/diagnosticsController.js",
     "extension/src/content/diagnosticsExport.js",
     "extension/src/content/diagnosticsPanel.js",
@@ -89,6 +90,7 @@
     "extension/src/shared/compatibility.js",
     "extension/src/shared/compileAdapter.js",
     "extension/src/shared/composerAttachmentDraft.js",
+    "extension/src/shared/contextUsage.js",
     "extension/src/shared/directoryCleanupProof.js",
     "extension/src/shared/failureReasons.js",
     "extension/src/shared/globalPreferences.js",
@@ -99,6 +101,7 @@
     "extension/src/shared/models.js",
     "extension/src/shared/otText.js",
     "extension/src/shared/pageRpcContract.js",
+    "extension/src/shared/panelIcons.js",
     "extension/src/shared/pathRedaction.js",
     "extension/src/shared/projectFiles.js",
     "extension/src/shared/providerProfiles.js",

package/extension/src/content/legacyGlobalRegistry.js

@@ -29,6 +29,8 @@
     'ComposerPanel',
     'ContentRuntime',
     'ContextTray',
+    'ContextUsage',
+    'ContextUsageView',
     'DiagnosticsController',
     'DiagnosticsExport',
     'DiagnosticsPanel',
@@ -55,10 +57,12 @@
     'PostNavigationSettlementPersistence',
     'ProjectFiles',
     'ProjectProviderSelection',
+    'PanelIcons',
     'ProjectSettingsCoordinator',
     'ProviderSettingsCoordinator',
     'RecentProjects',
     'ReviewHunks',
+    'Reviewing',
     'RunActivitySummary',
     'RunPresence',
     'RunActivityModel',

package/extension/src/content/localSkillsPanel.js

@@ -320,7 +320,7 @@
           toggle.disabled = true;
           confirmBtn.textContent = tr('localSkillRemoving');
           removeCodexOverleafSkill(id).catch(error => {
-            setProjectSettingsStatus(tx(`Failed to remove Codex Overleaf skill: ${error.message}`, `删除 Codex Overleaf 技能失败：${error.message}`), 'failed');
+            setProjectSettingsStatus(tx(`Failed to remove Codex Overleaf skill: ${error.message}`, `删除 Codex Overleaf 技能失败：${error.message}`), 'failed', { page: 'context' });
             // Restore row on failure so the user can retry.
             confirmBtn.disabled = false;
             cancelBtn.disabled = false;
@@ -381,7 +381,7 @@
       if (activeSkill?.scope === 'codex-overleaf' && activeSkill.id === id) {
         clearComposerSkillInvocation();
       }
-      setProjectSettingsStatus(tr('codexOverleafSkillRemoveDone'), 'completed');
+      setProjectSettingsStatus(tr('codexOverleafSkillRemoveDone'), 'completed', { page: 'context' });
       clearSlashCodexOverleafSkills();
       await refreshLocalSkills();
       await saveState?.();

package/extension/src/content/markdownDomRenderer.js

@@ -468,10 +468,10 @@
       textNode.textContent = `${match[1]}${text.slice(match[0].length)}`;
       textNode.parentNode.insertBefore(label, textNode);
     }
-    decorateChangeReceipts(container, document, tx);
+    decorateChangeReceipts(container, document, tx, options.formatOperationType);
   }
 
-  function decorateChangeReceipts(container, document, tx) {
+  function decorateChangeReceipts(container, document, tx, formatOperationType = type => type) {
     const label = container.querySelector?.('.run-system-label[data-system-label="changes"]');
     const list = label?.closest?.('p')?.nextElementSibling;
     if (!list || !['UL', 'OL'].includes(list.tagName)) return;
@@ -508,7 +508,9 @@
       file.textContent = receipt.file;
       const operation = document.createElement('span');
       operation.className = 'run-change-receipt__operation';
-      operation.textContent = receipt.operation;
+      const type = ({ 编辑: 'edit', 新建: 'create', 重命名: 'rename', 移动: 'move', 删除: 'delete' })[receipt.operation]
+        || receipt.operation.toLowerCase();
+      operation.textContent = formatOperationType(type);
       receipt.item.classList.add('run-change-receipt');
       receipt.item.setAttribute('aria-label', receipt.original);
       receipt.item.title = receipt.original;

package/extension/src/content/markdownText.js

@@ -99,7 +99,7 @@
       index = next.end;
     }
 
-    return nodes;
+    return groupLineReferenceNodes(nodes);
   }
 
   function buildInlineCodeNodes(value) {
@@ -152,7 +152,7 @@
       cursor = start + rawText.length;
     }
     appendSanitizedTextNode(nodes, source.slice(cursor));
-    return nodes;
+    return groupLineReferenceNodes(nodes);
   }
 
   function buildMarkdownLinkNodes(text, href) {
@@ -187,6 +187,24 @@
     }
   }
 
+  function groupLineReferenceNodes(nodes) {
+    const grouped = [];
+    for (const node of nodes) {
+      const previous = grouped[grouped.length - 1];
+      if (node.classList?.contains('codex-line-reference') && previous?.nodeType === 3 &&
+          previous.textContent.endsWith('(')) {
+        previous.textContent = previous.textContent.slice(0, -1);
+        const group = document.createElement('span');
+        group.className = 'codex-line-reference-group';
+        group.append(document.createTextNode('('), node);
+        grouped.push(group);
+      } else {
+        grouped.push(node);
+      }
+    }
+    return grouped;
+  }
+
   function resolveMarkdownLineReference(text, href) {
     const candidates = [
       { value: href, mode: 'markdown-link-target' },
@@ -230,12 +248,16 @@
       return null;
     }
     const line = Number(ref?.line);
+    const endLine = ref?.endLine === undefined ? null : Number(ref.endLine);
     const column = ref?.column === null || ref?.column === undefined || ref?.column === ''
       ? null
       : Number(ref.column);
     if (!Number.isSafeInteger(line) || line < 1 || (column !== null && (!Number.isSafeInteger(column) || column < 1))) {
       return null;
     }
+    if (endLine !== null && (!Number.isSafeInteger(endLine) || endLine < line)) {
+      return null;
+    }
     let resolved;
     try {
       resolved = LineReferences.resolveProjectReference({
@@ -251,6 +273,7 @@
     return {
       path: resolved.path,
       line,
+      ...(endLine > line ? { endLine } : {}),
       column
     };
   }
@@ -262,10 +285,15 @@
     button.textContent = formatLineReferenceText(reference);
     button.dataset.path = reference.path;
     button.dataset.line = String(reference.line);
+    if (reference.endLine) {
+      button.dataset.endLine = String(reference.endLine);
+    }
     if (reference.column) {
       button.dataset.column = String(reference.column);
     }
-    const ariaLabel = reference.column
+    const ariaLabel = reference.endLine
+      ? `Open ${reference.path} lines ${reference.line} to ${reference.endLine}`
+      : reference.column
       ? `Open ${reference.path} line ${reference.line} column ${reference.column}`
       : `Open ${reference.path} line ${reference.line}`;
     button.setAttribute('aria-label', ariaLabel);
@@ -278,7 +306,10 @@
         line: reference.line,
         selectLine: !reference.column
       };
-      if (reference.column) {
+      if (reference.endLine) {
+        params.endLine = reference.endLine;
+        params.selectLine = true;
+      } else if (reference.column) {
         params.column = reference.column;
         params.selectLine = false;
       }
@@ -310,7 +341,7 @@
   }
 
   function formatLineReferenceText(reference) {
-    return `${reference.path}:${reference.line}${reference.column ? `:${reference.column}` : ''}`;
+    return `${reference.path}:${reference.line}${reference.endLine ? `–${reference.endLine}` : reference.column ? `:${reference.column}` : ''}`;
   }
 
   function normalizeReferencePathForRuntime(value) {
@@ -499,6 +530,12 @@
               renderText: text => buildMarkdownInlineNodes(text) }),
           recordDiagnostic: recordRenderingDiagnostic
         });
+        // The DOM renderer emits text and links from separate Markdown tokens.
+        const parents = new Set(Array.from(target.querySelectorAll('.codex-line-reference'), button => button.parentNode)
+          .filter(parent => !parent.classList.contains('codex-line-reference-group')));
+        for (const parent of parents) {
+          parent.replaceChildren(...groupLineReferenceNodes(Array.from(parent.childNodes)));
+        }
         return;
       } catch (error) {
         recordRenderingDiagnostic({

package/extension/src/content/modelPicker.js

@@ -525,6 +525,7 @@
         readSelectedSpeedInput() === 'fast' ? tx('Fast mode', '快速模式') : tx('Standard speed', '标准速度')
       ].filter(Boolean).join(' · ');
     }
+    deps.onSelectionRendered?.();
   }
 
     return {

package/extension/src/content/nativeCompatibilityController.js

@@ -88,7 +88,7 @@
         requiredVersion: compatibility.requiredVersion || Compatibility?.BUILD_TARGET_VERSION || '',
         releaseUrl: compatibility.releaseUrl || ''
       };
-      notifyBlocked(error, compatibility);
+      notifyBlocked(error, compatibility, method);
       return { ok: false, compatibility, response: { ok: false, error } };
     }
 
@@ -103,7 +103,7 @@
       };
     }
 
-    function notifyBlocked(error, compatibility = {}) {
+    function notifyBlocked(error, compatibility = {}, method) {
       const message = error?.message || String(error || '');
       if (options.getCurrentRunView?.()) {
         options.appendRunEvent?.({ title: message, status: 'failed' });
@@ -111,7 +111,17 @@
         return;
       }
       showUpdateGuidance(compatibility);
-      options.showPluginToast?.(message, { status: 'failed', sticky: true });
+      const missing = compatibility.status === 'native_missing';
+      options.showPluginToast?.(missing ? tr('nativeCompatibilityMissingGuidance') : message, {
+        status: 'failed',
+        sticky: true,
+        ...(missing ? {
+          title: tr('nativeCompatibilityMissingTitle'),
+          groupKey: 'native-missing',
+          groupItem: method || 'native request',
+          groupSummary: count => tr('nativeCompatibilityUnavailableFeatures', { count })
+        } : {})
+      });
     }
 
     async function refreshBadge() {
@@ -197,11 +207,24 @@
       );
       const card = options.document.createElement('section');
       card.className = 'codex-plugin-confirm-card';
+      const head = options.document.createElement('div');
+      head.className = 'codex-plugin-confirm-head';
+      const icon = options.document.createElement('img');
+      icon.className = 'codex-plugin-confirm-icon';
+      icon.alt = '';
+      icon.setAttribute('aria-hidden', 'true');
+      icon.src = options.getIconUrl?.() || '';
+      const titleWrap = options.document.createElement('div');
+      const brand = options.document.createElement('div');
+      brand.className = 'codex-plugin-confirm-brand';
+      brand.textContent = 'Codex Overleaf Link';
       const title = options.document.createElement('div');
       title.className = 'codex-plugin-confirm-title';
       title.textContent = nativeMissing
         ? tx('One step left: install the native host', '还差一步：安装 Native host')
         : tx('Native host update available', 'Native host 可更新');
+      titleWrap.append(brand, title);
+      head.append(icon, titleWrap);
       const body = options.document.createElement('div');
       body.className = 'codex-plugin-confirm-body';
       body.textContent = [
@@ -222,20 +245,16 @@
               ? tx(' Use PowerShell.', ' 请使用 PowerShell。') : '')
       ].join('\n\n');
       const commandCode = options.document.createElement('code');
+      commandCode.className = 'codex-native-guidance-command';
       commandCode.textContent = command;
-      Object.assign(commandCode.style, {
-        display: 'block',
-        whiteSpace: 'pre-wrap',
-        marginTop: '0.75rem'
-      });
       body.append(commandCode);
       if (releaseUrl) {
         const link = options.document.createElement('a');
+        link.className = 'codex-native-guidance-link';
         link.href = releaseUrl;
         link.target = '_blank';
         link.rel = 'noopener noreferrer';
         link.textContent = tx('Open GitHub Release', '打开 GitHub Release');
-        Object.assign(link.style, { display: 'block', marginTop: '0.75rem' });
         body.append(link);
       }
       const actions = options.document.createElement('div');
@@ -256,7 +275,7 @@
       close.textContent = tx('Close', '关闭');
       close.addEventListener('click', () => overlay.remove());
       actions.append(close, copy);
-      card.append(title, body, actions);
+      card.append(head, body, actions);
       overlay.append(card);
       overlay.addEventListener('click', event => {
         if (event.target === overlay) overlay.remove();

package/extension/src/content/otWarmMirror.js

@@ -895,7 +895,7 @@
         appendLog(tx(`Cannot continue: ${formatProjectSnapshotWarning(warning)}`, `无法继续：${formatProjectSnapshotWarning(warning)}`));
       }
       appendCompletionReport({
-        conclusion: tr('warmMirrorStaleBlockedConclusion'),
+        conclusion: tr('warmMirrorStaleBlockedConclusion'), conclusionKey: 'warm_mirror_stale',
         status: 'blocked',
         operations: [],
         applyResults: [],

package/extension/src/content/pageBridgeClient.js

@@ -6,7 +6,7 @@
   'use strict';
 
   const PAGE_WORLD_SCRIPTS = Object.freeze([
-    ['src/shared/reviewing.js', 'codex-overleaf-reviewing-script'],
+    ['src/shared/reviewing.js', 'codex-overleaf-reviewing-script', true],
     ['src/shared/projectFiles.js', 'codex-overleaf-project-files-script'],
     ['src/shared/compatibility.js', 'codex-overleaf-compatibility-page-script'],
     ['src/shared/pageRpcContract.js', 'codex-overleaf-page-rpc-contract-script', true],
@@ -15,7 +15,7 @@
     ['src/shared/sensitiveScan.js', 'codex-overleaf-sensitive-scan-script'],
     ['src/shared/auditRecords.js', 'codex-overleaf-audit-records-script'],
     ['src/page/saveState.js', 'codex-overleaf-save-state-script', true],
-    ['src/page/overleafCapabilities.js', 'codex-overleaf-capabilities-script'],
+    ['src/page/overleafCapabilities.js', 'codex-overleaf-capabilities-script', true],
     ['src/page/compileBridge.js', 'codex-overleaf-compile-bridge-script'],
     ['src/page/overleafEditor.js', 'codex-overleaf-editor-script'],
     ['src/page/overleafProjectSnapshot.js', 'codex-overleaf-project-snapshot-script'],

package/extension/src/content/panelMaintenance.js

@@ -181,6 +181,7 @@
   // the failed task usually needs a tweak before it is worth resending.
   function refillComposerForRetry(run, textOverride) {
     const input = getPanel()?.querySelector('[data-task]');
+    if (input?.readOnly) return;
     const task = typeof textOverride === 'string' && textOverride.trim()
       ? textOverride
       : String(run?.task || '');
@@ -310,7 +311,9 @@
   // Settings history card, expanded and loaded.
   function openChangeHistory() {
     openCustomInstructionsSettings();
-    const card = getSettingsPanelInstance()?.container?.querySelector('[data-history-card]');
+    // The workbench shows one page at a time; switch to the page holding the card.
+    const card = getSettingsPanelInstance()?.revealGroup?.('history')
+      || getSettingsPanelInstance()?.container?.querySelector('[data-history-card]');
     if (card) {
       if (!card.open) {
         card.open = true;
@@ -322,7 +325,8 @@
 
   function openStorageSettings() {
     openCustomInstructionsSettings();
-    const card = getPanel()?.querySelector('[data-storage-card]');
+    const card = getSettingsPanelInstance()?.revealGroup?.('storage')
+      || getPanel()?.querySelector('[data-storage-card]');
     if (card) {
       card.open = true;
       card.scrollIntoView({ block: 'center' });

package/extension/src/content/panelRenderer.js

@@ -12,6 +12,7 @@
       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"/>',
+      chevronDown: '<path d="m4.4 6.4 3.6 3.6 3.6-3.6"/>',
       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';
@@ -53,8 +54,15 @@
       <div class="codex-panel-resize-handle" data-panel-resize-handle title="Drag to resize the Codex panel. Double click to reset." aria-label="Drag to resize the Codex panel. Double click to reset." role="separator"></div>
       <div class="codex-vscode-head" data-panel-header>
         <div class="codex-vscode-title">CODEX</div>
+        <div class="codex-thread-title codex-head-session" data-session-label>
+          <button type="button" class="codex-thread-title-trigger" data-session-menu-trigger aria-haspopup="menu" aria-expanded="false">
+            <span class="codex-thread-title-text" data-session-label-text></span>
+            <span class="codex-thread-title-chevron">${codexIcon('chevronDown')}</span>
+          </button>
+          <input type="text" class="codex-thread-title-input" data-session-rename-input maxlength="80" hidden>
+          <div class="codex-session-menu" data-session-menu role="menu" hidden></div>
+        </div>
         <div class="codex-vscode-head-actions" aria-label="Codex actions">
-          <button type="button" data-refresh title="Refresh current file status. This will not sync or modify files." aria-label="Refresh current file status. This will not sync or modify files.">${codexIcon('refresh')}</button>
           <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>
@@ -86,7 +94,6 @@
 
     bind(instance, panelEl, 'click', event => event.stopPropagation());
     bind(instance, panelEl, 'mousedown', event => event.stopPropagation());
-    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?.());
@@ -320,7 +327,7 @@
       }
       const panel = options.getPanel?.();
       if (!panel) {
-        return Promise.resolve(false);
+        return Promise.resolve(config.choices?.length ? 'cancel' : false);
       }
       dismiss(false);
       const tr = options.tr || (key => key);
@@ -329,6 +336,8 @@
       const confirmLabel = config.confirmLabel || tr('confirmDefaultConfirm');
       const cancelLabel = config.cancelLabel || tr('confirmDefaultCancel');
       const destructive = config.destructive === true;
+      const choices = Array.isArray(config.choices) && config.choices.length ? config.choices : null;
+      const cancelled = choices ? 'cancel' : false;
       const doc = panel.ownerDocument || document;
 
       return new Promise(resolve => {
@@ -369,54 +378,69 @@
         body.textContent = String(message);
         const actions = doc.createElement('div');
         actions.className = 'codex-plugin-confirm-actions';
-        const cancel = doc.createElement('button');
-        cancel.type = 'button';
-        cancel.className = 'codex-plugin-confirm-cancel';
-        cancel.textContent = cancelLabel;
-        const confirm = doc.createElement('button');
-        confirm.type = 'button';
-        confirm.className = 'codex-plugin-confirm-confirm';
-        if (destructive) confirm.dataset.destructive = 'true';
-        confirm.textContent = confirmLabel;
-        actions.append(cancel, confirm);
+        const buttons = (choices || [
+          { value: false, label: cancelLabel }, { value: true, label: confirmLabel }
+        ]).map(choice => {
+          const button = doc.createElement('button');
+          button.type = 'button';
+          const cancel = choice.value === false || choice.value === 'cancel';
+          // Only one primary action: other affirmative choices can ask for the secondary style.
+          button.className = cancel || choice.secondary === true ? 'codex-plugin-confirm-cancel' : 'codex-plugin-confirm-confirm';
+          if (destructive && !cancel) button.dataset.destructive = 'true';
+          button.textContent = choice.label;
+          button.addEventListener('click', () => cleanup(choice.value));
+          actions.append(button);
+          return button;
+        });
         card.append(head, body, actions);
         overlay.append(card);
         panel.append(overlay);
         overlay.showModal?.();
 
+        let timeout, ownerCheck, removalObserver;
+        const onAbort = () => cleanup(cancelled);
         const cleanup = value => {
           if (settled) return;
           settled = true;
           activeResolve = null;
           doc.removeEventListener('keydown', onKeydown, true);
+          config.signal?.removeEventListener('abort', onAbort);
+          clearTimeout(timeout);
+          clearInterval(ownerCheck);
+          removalObserver?.disconnect();
           overlay.close?.();
           overlay.remove();
           returnFocus?.focus?.();
-          resolve(value);
+          resolve(choices && !choices.some(choice => choice.value === value) ? cancelled : value);
         };
         activeResolve = cleanup;
         const onKeydown = event => {
           if (event.key === 'Escape') {
-            event.preventDefault();
-            cleanup(false);
+            event.preventDefault(); cleanup(cancelled);
           } else if (event.key === 'Enter') {
             event.preventDefault();
-            if (!destructive && event.target !== cancel) cleanup(true);
-            else if (event.target === cancel) cleanup(false);
-            else if (event.target === confirm) cleanup(true);
+            if (buttons.includes(event.target)) event.target.click();
+            else if (!choices && !destructive) cleanup(true);
           } else if (event.key === 'Tab') {
             event.preventDefault();
-            (event.target === cancel ? confirm : cancel).focus();
+            const index = buttons.indexOf(event.target);
+            buttons[(index + (event.shiftKey ? buttons.length - 1 : 1)) % buttons.length].focus();
           }
         };
-        overlay.addEventListener('click', event => {
-          if (event.target === overlay) cleanup(false);
-        });
-        overlay.addEventListener('cancel', event => { event.preventDefault(); cleanup(false); });
-        cancel.addEventListener('click', () => cleanup(false));
-        confirm.addEventListener('click', () => cleanup(true));
+        overlay.addEventListener('click', event => { if (event.target === overlay) cleanup(cancelled); });
+        overlay.addEventListener('cancel', event => { event.preventDefault(); cleanup(cancelled); });
+        overlay.addEventListener('close', () => cleanup(cancelled));
         doc.addEventListener('keydown', onKeydown, true);
-        (destructive ? cancel : confirm).focus();
+        config.signal?.addEventListener('abort', onAbort, { once: true });
+        if (config.timeoutMs > 0) timeout = setTimeout(onAbort, config.timeoutMs);
+        if (config.isCurrent) ownerCheck = setInterval(() => { if (!config.isCurrent()) onAbort(); }, 100);
+        const Observer = doc.defaultView?.MutationObserver;
+        if (choices && Observer) {
+          removalObserver = new Observer(() => { if (!overlay.isConnected) onAbort(); });
+          removalObserver.observe(panel, { childList: true });
+        }
+        (choices ? buttons[0] : buttons[destructive ? 0 : 1]).focus();
+        if (config.signal?.aborted || config.isCurrent?.() === false) onAbort();
       });
     }
 

package/extension/src/content/pendingInputView.js

@@ -115,7 +115,7 @@
     // Pull a queued message back into the composer. A typed draft is never overwritten.
     function pullBack(item) {
       const task = container?.parentElement?.querySelector('[data-task]');
-      if (!task || (item.status || 'queued') !== 'queued') return;
+      if (!task || task.readOnly || (item.status || 'queued') !== 'queued') return;
       if (String(task.value || '').trim()) { options.onToast?.(tr('queuedInputEditBlocked')); return; }
       options.onRemove?.(item.id);
       task.value = item.text;

package/extension/src/content/projectSettingsCoordinator.js

@@ -1,6 +1,9 @@
 (function initCodexOverleafProjectSettingsCoordinator() {
   'use strict';
 
+  // Skill messages belong to the settings workbench page that holds the Skills group.
+  const SKILLS_STATUS = Object.freeze({ page: 'context' });
+
   function create(deps = {}) {
     const {
       CodexOverleafTheme,
@@ -100,7 +103,7 @@
       refreshLocalSkills().catch(error => setProjectSettingsStatus(tx(
         `Could not list local skills: ${error.message}`,
         `无法列出本地技能：${error.message}`
-      ), 'failed'));
+      ), 'failed', SKILLS_STATUS));
     }
 
     function toggleCustomInstructionsSettings() {
@@ -128,7 +131,7 @@
       refreshLocalSkills().catch(error => setProjectSettingsStatus(tx(
         `Could not list local skills: ${error.message}`,
         `无法列出本地技能：${error.message}`
-      ), 'failed'));
+      ), 'failed', SKILLS_STATUS));
     }
 
     function closeSkillsView() {
@@ -242,6 +245,25 @@
       });
     }
 
+    function getReviewingAvailability() {
+      return getState()?.reviewingAvailabilityByProject?.[getCurrentProjectId()] || null;
+    }
+
+    function observeReviewingAvailability(status, evidence) {
+      const projectId = getCurrentProjectId();
+      if (!projectId || !['available', 'unavailable', 'unknown'].includes(status)) return;
+      const previous = getReviewingAvailability();
+      // A remembered failure must not renew its own expiry.
+      if (previous?.status === status && previous.evidence === evidence && status === 'available') return;
+      // Preserve ordering even when a retry and its previous observation share a millisecond.
+      const observedAt = Math.max(Date.now(), Number.isFinite(previous?.observedAt) ? previous.observedAt + 1 : 0);
+      setState({ ...getState(), reviewingAvailabilityByProject: {
+        ...getState()?.reviewingAvailabilityByProject,
+        [projectId]: { status, evidence, observedAt }
+      } });
+      saveStateSoon(0);
+    }
+
     function getThemePreference() {
       return CodexOverleafTheme.normalizeThemePreference(getState()?.theme);
     }
@@ -316,11 +338,11 @@
           const pending = deps.updateGlobalPreferences({ codexLocalSkillEnabled: { [skillId]: Boolean(enabled) } });
           Promise.resolve(pending).then(() => saveStateSoon()).catch(() => {
             renderLocalSkillList();
-            setProjectSettingsStatus(tx('Could not save the local skill selection. Try again.', '无法保存本地技能选择，请重试。'), 'failed');
+            setProjectSettingsStatus(tx('Could not save the local skill selection. Try again.', '无法保存本地技能选择，请重试。'), 'failed', SKILLS_STATUS);
           });
         } catch (_error) {
           renderLocalSkillList();
-          setProjectSettingsStatus(tx('Could not save the local skill selection. Try again.', '无法保存本地技能选择，请重试。'), 'failed');
+          setProjectSettingsStatus(tx('Could not save the local skill selection. Try again.', '无法保存本地技能选择，请重试。'), 'failed', SKILLS_STATUS);
         }
       } else {
         setState({ ...getState(), codexLocalSkillEnabled: { ...getCodexLocalSkillEnabled(), [skillId]: Boolean(enabled) } });
@@ -348,8 +370,8 @@
       renderLocalSkillList();
     }
 
-    function setProjectSettingsStatus(text, status = 'info') {
-      SettingsPanel.setStatus(getSettingsPanelInstance(), text, status);
+    function setProjectSettingsStatus(text, status = 'info', options) {
+      SettingsPanel.setStatus(getSettingsPanelInstance(), text, status, options);
     }
 
     function clearProjectSettingsStatus() {
@@ -378,6 +400,8 @@
       getGovernanceRulesForCurrentProject,
       getSkillLoadingSettings,
       getThemePreference,
+      getReviewingAvailability,
+      observeReviewingAvailability,
       isCodexOverleafSkillEnabled,
       normalizeCustomInstructionsByProject,
       normalizeGovernanceRules,

package/extension/src/content/providerSettingsDialog.js

@@ -1296,7 +1296,8 @@
 
   function renderTemplatePicker(instance, detail) {
     const tx = instance.tx;
-    detail.innerHTML = '<div class="codex-provider-template-head"><button type="button" class="codex-provider-inline-button" data-provider-action="templates-back">'
+    detail.innerHTML = '<div class="codex-provider-template-head"><button type="button" class="codex-provider-inline-button codex-provider-back-button" data-provider-action="templates-back">'
+      + '<svg viewBox="0 0 16 16" aria-hidden="true" focusable="false"><path d="m9.8 3.6-4.4 4.4 4.4 4.4"/></svg>'
       + escapeHtml(tx('Back', '返回')) + '</button><h3>' + escapeHtml(tx('Add a connection', '添加连接')) + '</h3></div>'
       + '<p class="codex-provider-help">' + escapeHtml(tx(
         'Service shortcuts default to Anthropic Messages. Chat Completions remains available; preset addresses follow the selected protocol. Add the matching API key and model IDs separately.',

package/extension/src/content/recentProjects.js

@@ -199,10 +199,11 @@
     } catch (_error) { /* swallow */ }
     try {
       var docTitle = (document.title || '').trim();
-      // Overleaf typically formats as "<Project Name> - Overleaf" or
-      // "<Project Name> - Online LaTeX Editor"; strip the " - " suffix.
+      // Overleaf formats the title as "<Project Name> - Overleaf" or
+      // "<Project Name> - Online LaTeX Editor Overleaf" (localized); drop the
+      // last " - " segment when it names Overleaf.
       if (docTitle) {
-        var stripped = docTitle.replace(/\s*[-–]\s*Overleaf.*$/i, '').trim();
+        var stripped = docTitle.replace(/\s+[-–|]\s+[^-–|]*Overleaf[^-–|]*$/i, '').trim();
         if (stripped && stripped.toLowerCase() !== 'overleaf') {
           return stripped;
         }