codex-overleaf-link 2.5.1 → 2.6.0

package/extension/src/content/settingsWorkbench.js

@@ -4,21 +4,32 @@
 })(typeof globalThis !== 'undefined' ? globalThis : this, function () {
   'use strict';
 
-  const CATEGORIES = [
-    ['general', 'settingsWorkbenchGeneral', 'appearance'],
-    ['providers', 'settingsWorkbenchModels', 'bolt'],
-    ['context', 'settingsWorkbenchContext', 'database'],
-    ['instructions', 'settingsWorkbenchInstructions', 'pen'],
-    ['protection', 'settingsWorkbenchProtection', 'shield'],
-    ['history', 'settingsWorkbenchHistory', 'history'],
-    ['updates', 'softwareUpdatesTitle', 'software']
+  // The sidebar is split by scope; a page's section decides whether its groups
+  // need an open project. Pages: [id, label key, icon].
+  const SECTIONS = [
+    ['project', 'settingsScopeProjectTitle', [
+      ['writing', 'settingsWorkbenchWriting', 'pen'],
+      ['protection', 'settingsWorkbenchProtection', 'shield'],
+      ['cache', 'otSettingsTitle', 'flask'],
+      ['history', 'settingsWorkbenchChanges', 'history']
+    ]],
+    ['global', 'settingsScopeGlobalTitle', [
+      ['appearance', 'appearanceTitle', 'appearance'],
+      ['providers', 'settingsWorkbenchModels', 'bolt'],
+      ['context', 'settingsWorkbenchContextSkills', 'database'],
+      ['storage', 'storageTitle', 'archive'],
+      ['updates', 'softwareUpdatesTitle', 'software']
+    ]]
   ];
   const GROUP_PAGES = {
-    appearance: 'general', 'writing-style': 'general', providers: 'providers', 'context-loading': 'context',
-    experimental: 'context', personalization: 'instructions', protection: 'protection',
-    privacy: 'protection', history: 'history', storage: 'history', updates: 'updates'
+    'writing-style': 'writing', personalization: 'writing', protection: 'protection', privacy: 'protection',
+    experimental: 'cache', history: 'history', appearance: 'appearance', providers: 'providers',
+    'context-loading': 'context', skills: 'context', storage: 'storage', updates: 'updates'
   };
-  const PROJECT_GROUPS = new Set(['writing-style', 'personalization', 'protection', 'privacy', 'experimental', 'history']);
+  // Groups without a mapping keep their original scope.
+  const FALLBACK_PAGES = { project: 'writing', global: 'context' };
+  // The skills list opens in place of the page that holds the Skills group.
+  const SKILLS_PAGE = 'context';
 
   function mount(instance, options = {}) {
     const container = instance.container, doc = container.ownerDocument;
@@ -50,93 +61,94 @@
     const status = settings.querySelector('[data-project-settings-status]');
     const dialog = make('dialog', 'codex-settings-workbench');
     dialog.setAttribute('aria-labelledby', 'codex-settings-workbench-title');
-    const header = make('header', 'codex-wb-header');
-    const heading = make('div', 'codex-wb-heading');
-    const title = make('h2', '', 'settingsWorkbenchTitle');
+    const title = make('h2', 'codex-wb-title', 'settingsWorkbenchTitle');
     title.id = 'codex-settings-workbench-title';
-    heading.append(title, make('p', '', 'settingsWorkbenchSubtitle'));
     closeButton.classList.add('codex-wb-close');
-    closeButton.textContent = '\u00d7';
-    header.append(heading, closeButton);
+    if (options.icon) closeButton.innerHTML = options.icon('close'); // Static, repository-owned icon path.
+    else closeButton.textContent = '\u00d7';
     originalHead?.remove();
 
     const layout = make('div', 'codex-wb-layout');
     const sidebar = make('aside', 'codex-wb-sidebar');
-    const filters = make('div', 'codex-wb-filters');
-    filters.setAttribute('role', 'group');
-    const allFilter = button('', 'settingsWorkbenchAll');
-    const projectFilter = button('', 'settingsScopeProjectTitle');
-    filters.append(allFilter, projectFilter);
     const nav = make('nav', 'codex-wb-nav');
     nav.setAttribute('role', 'tablist');
     nav.setAttribute('aria-orientation', 'vertical');
-    const brand = make('div', 'codex-wb-brand');
-    brand.textContent = 'Codex Overleaf Link';
-    sidebar.append(filters, nav, brand);
+    sidebar.append(title, nav);
     const main = make('div', 'codex-wb-main');
     const body = make('div', 'codex-wb-body');
     const footer = make('footer', 'codex-wb-footer');
     if (status) { status.setAttribute('aria-live', 'polite'); footer.append(status); }
     main.append(body, footer);
     layout.append(sidebar, main);
-    dialog.append(header, layout);
-    const pages = new Map(), navButtons = new Map(), groups = [];
-    let active = 'general', filter = 'all', returnFocus = null, destroyed = false;
+    // The close button floats over the content's top-right corner.
+    dialog.append(layout, closeButton);
+    const pages = new Map(), navButtons = new Map(), pageScopes = new Map(), sectionLabels = new Map(), groups = [];
+    let active = 'writing', returnFocus = null, destroyed = false;
     let providerRequested = false, providerCloseGuard = null, closing = null;
 
-    for (const [id, key, icon] of CATEGORIES) {
-      const page = make('section', 'codex-wb-page');
-      page.id = 'codex-settings-page-' + id;
-      page.dataset.workbenchPage = id;
-      page.setAttribute('role', 'tabpanel');
-      page.setAttribute('aria-labelledby', 'codex-settings-nav-' + id);
-      page.hidden = true;
-      page.append(make('h3', 'codex-wb-page-title', key));
-      pages.set(id, page);
-      const tab = button('codex-wb-nav-button');
-      tab.id = 'codex-settings-nav-' + id;
-      tab.setAttribute('role', 'tab');
-      tab.setAttribute('aria-controls', page.id);
-      if (options.icon) {
-        const glyph = make('span', 'codex-wb-nav-icon');
-        glyph.innerHTML = options.icon(icon); // Static, repository-owned icon paths only.
-        tab.append(glyph);
+    for (const [scope, sectionKey, items] of SECTIONS) {
+      // Visual section heading; each tab references it as its description.
+      const label = make('div', 'codex-wb-nav-section', sectionKey);
+      label.id = 'codex-settings-nav-section-' + scope;
+      label.setAttribute('aria-hidden', 'true');
+      nav.append(label);
+      sectionLabels.set(scope, label);
+      for (const [id, key, icon] of items) {
+        const page = make('section', 'codex-wb-page');
+        page.id = 'codex-settings-page-' + id;
+        page.dataset.workbenchPage = id;
+        page.setAttribute('role', 'tabpanel');
+        page.setAttribute('aria-labelledby', 'codex-settings-nav-' + id);
+        page.hidden = true;
+        page.append(make('h3', 'codex-wb-page-title', key), make('p', 'codex-wb-page-scope'));
+        pages.set(id, page);
+        pageScopes.set(id, scope);
+        const tab = button('codex-wb-nav-button');
+        tab.id = 'codex-settings-nav-' + id;
+        tab.setAttribute('role', 'tab');
+        tab.setAttribute('aria-controls', page.id);
+        tab.setAttribute('aria-describedby', label.id);
+        if (options.icon) {
+          const glyph = make('span', 'codex-wb-nav-icon');
+          glyph.innerHTML = options.icon(icon); // Static, repository-owned icon paths only.
+          tab.append(glyph);
+        }
+        tab.append(make('span', '', key));
+        listen(tab, 'click', () => select(id));
+        nav.append(tab);
+        navButtons.set(id, tab);
       }
-      tab.append(make('span', '', key));
-      listen(tab, 'click', () => select(id));
-      nav.append(tab);
-      navButtons.set(id, tab);
     }
-    function addGroup(node, category, projectOnly) {
+    function addGroup(node, category) {
+      const projectOnly = pageScopes.get(category) === 'project';
       node.hidden = true;
       node.dataset.workbenchScope = projectOnly ? 'project' : 'global';
       const summary = node.querySelector('summary');
-      const badge = make('span', 'codex-wb-scope-label',
-        projectOnly ? 'settingsScopeProjectTitle' : 'settingsScopeGlobalTitle');
-      (summary || node).append(badge);
+      if (summary) {
+        // Groups are plain sections: always open while their page is shown.
+        summary.tabIndex = -1;
+        listen(summary, 'click', event => event.preventDefault());
+      }
       pages.get(category).append(node);
-      groups.push({ node, category, projectOnly, expanded: true });
+      groups.push({ node, category, projectOnly });
     }
+    const fallbackPage = scope => FALLBACK_PAGES[
+      scope && !scope.classList.contains('codex-project-settings-scope--global') ? 'project' : 'global'];
     // Move existing controls rather than copying them. Their listeners, unsaved
     // values, identity, validation and persistence callbacks remain attached.
     for (const group of Array.from(settings.querySelectorAll('[data-set-group]'))) {
       const key = group.dataset.setGroup;
-      const originalScope = group.closest('.codex-project-settings-scope');
-      const projectOnly = PROJECT_GROUPS.has(key)
-        || (!GROUP_PAGES[key] && originalScope && !originalScope.classList.contains('codex-project-settings-scope--global'));
-      addGroup(group, GROUP_PAGES[key] || 'instructions', Boolean(projectOnly));
+      addGroup(group, GROUP_PAGES[key] || fallbackPage(group.closest('.codex-project-settings-scope')));
     }
-    // Preserve non-card controls, including the legacy skill-loading entry.
-    // Scope headings are replaced by labels on the actual groups.
+    // Preserve non-card controls. The sidebar sections replace the scope headings.
     for (const scope of Array.from(settings.querySelectorAll('.codex-project-settings-scope'))) {
       scope.querySelectorAll('.codex-project-settings-scope-title').forEach(node => node.remove());
-      if (scope.children.length) {
-        addGroup(scope, 'instructions', !scope.classList.contains('codex-project-settings-scope--global'));
-      } else scope.remove();
+      if (scope.children.length) addGroup(scope, fallbackPage(scope));
+      else scope.remove();
     }
     for (const node of Array.from(settings.children)) {
       if (node === status) continue;
-      addGroup(node, 'instructions', false);
+      addGroup(node, FALLBACK_PAGES.global);
     }
     const providerHost = make('div', 'codex-wb-provider-host');
     providerHost.dataset.providerSettingsHost = '';
@@ -218,29 +230,54 @@
         && /^\/project\/[^/]+/.test(win?.location?.pathname || '');
     }
     function available(item) {
-      return (!item.projectOnly || hasProject()) && (filter !== 'project' || item.projectOnly);
+      return !item.projectOnly || hasProject();
+    }
+    // A page whose only visible group repeats the page title hides that group's
+    // title; the group header keeps only its Saved mark.
+    function refreshSoleSections() {
+      for (const page of pages.values()) {
+        const pageGroups = Array.from(page.querySelectorAll('.codex-set-group'));
+        const visibleGroups = pageGroups.filter(node => !node.hidden);
+        const pageTitle = page.querySelector('.codex-wb-page-title')?.textContent.trim();
+        for (const node of pageGroups) {
+          const groupTitle = node.querySelector('.codex-set-group-head .codex-set-group-title');
+          const sole = visibleGroups.length === 1 && visibleGroups[0] === node
+            && groupTitle && groupTitle.textContent.trim() === pageTitle;
+          if (sole) node.dataset.soleSection = 'true';
+          else delete node.dataset.soleSection;
+        }
+      }
+    }
+    // Each page states its scope once, under its title.
+    function renderPageScope(page, scope, projectName) {
+      const line = page.querySelector('.codex-wb-page-scope');
+      if (!line) return;
+      const text = t(scope === 'project' ? 'settingsPageScopeProject' : 'settingsPageScopeGlobal');
+      if (scope !== 'project' || !projectName) { line.textContent = text; return; }
+      const name = doc.createElement('b');
+      name.textContent = projectName;
+      line.replaceChildren(text + ' \u00b7 ', name);
     }
     function refresh() {
       if (destroyed) return;
-      if (!hasProject()) filter = 'all';
-      if (panel.dataset.view === 'skills') { active = 'instructions'; filter = 'all'; }
+      if (panel.dataset.view === 'skills') active = SKILLS_PAGE;
       const availablePages = new Set(groups.filter(available).map(item => item.category));
-      if (!availablePages.has(active)) active = CATEGORIES.find(([id]) => availablePages.has(id))?.[0] || 'general';
+      if (!availablePages.has(active)) active = Array.from(navButtons.keys()).find(id => availablePages.has(id)) || 'appearance';
       for (const node of dialog.querySelectorAll('[data-i18n]')) {
         // Existing controls use their established translation pass; update the
         // newly owned chrome only, without replacing controls or skill rows.
-        if (node.closest('.codex-wb-header, .codex-wb-nav, .codex-wb-filters, .codex-wb-footer')
+        if (node.closest('.codex-wb-nav, .codex-wb-footer')
+          || node.classList.contains('codex-wb-title')
           || node.classList.contains('codex-wb-page-title')
-          || node.classList.contains('codex-wb-scope-label')
           || node.classList.contains('codex-wb-theme-caption')
           || node.classList.contains('codex-wb-skills-caption')) node.textContent = t(node.dataset.i18n);
       }
-      projectFilter.disabled = !hasProject();
-      projectFilter.title = hasProject() ? t('settingsWorkbenchProjectFilter') : t('settingsWorkbenchOpenProject');
-      filters.setAttribute('aria-label', t('settingsWorkbenchFilter'));
+      const projectName = hasProject() ? String(instance.getProjectName?.() || '').trim() : '';
+      for (const [id, page] of pages) renderPageScope(page, pageScopes.get(id), projectName);
+      for (const [scope, label] of sectionLabels) {
+        label.hidden = !Array.from(pageScopes).some(([id, pageScope]) => pageScope === scope && availablePages.has(id));
+      }
       nav.setAttribute('aria-label', t('settingsWorkbenchCategories'));
-      allFilter.setAttribute('aria-pressed', String(filter === 'all'));
-      projectFilter.setAttribute('aria-pressed', String(filter === 'project'));
       closeButton.title = t('settingsWorkbenchClose');
       closeButton.setAttribute('aria-label', t('settingsWorkbenchClose'));
       const skillsBack = skills?.querySelector('[data-skills-back]');
@@ -248,6 +285,7 @@
         skillsBack.title = t('settingsBack');
         skillsBack.setAttribute('aria-label', t('settingsBack'));
       }
+      if (status) status.hidden = Boolean(status.dataset.statusPage) && status.dataset.statusPage !== active;
       for (const [id, tab] of navButtons) {
         tab.hidden = !availablePages.has(id);
         tab.setAttribute('aria-selected', String(id === active));
@@ -256,12 +294,11 @@
       }
       for (const item of groups) {
         const visible = available(item) && item.category === active && panel.dataset.view !== 'skills';
-        if (item.node.tagName === 'DETAILS' && item.node.hidden !== !visible) {
-          if (!visible) item.expanded = item.node.open;
-          item.node.open = visible && item.expanded;
-        }
+        // Opening a group when its page is shown keeps the lazy toggle loaders (history, storage).
+        if (item.node.tagName === 'DETAILS' && item.node.open !== visible) item.node.open = visible;
         item.node.hidden = !visible;
       }
+      refreshSoleSections();
       updateThemes();
     }
     function requestProviders() {
@@ -277,9 +314,17 @@
       try { Promise.resolve(instance.callbacks.onProvidersOpen()).catch(failed); }
       catch (error) { failed(error); }
     }
+    // Shows the page that holds a group and returns the group, or null when the
+    // group is unavailable (for example a project group outside a project).
+    function revealGroup(key) {
+      const item = groups.find(entry => entry.node.dataset?.setGroup === key);
+      if (!item || !available(item)) return null;
+      active = item.category;
+      refresh();
+      return item.node;
+    }
     function revealProviders() {
       active = 'providers';
-      filter = 'all';
       providerRequested = true;
       pages.get('providers').dataset.providerEmbedded = 'true';
       panel.dataset.view = 'settings';
@@ -330,13 +375,6 @@
       if (['settings', 'skills'].includes(panel.dataset.view)) show();
       else hide();
     };
-    listen(allFilter, 'click', () => { filter = 'all'; refresh(); });
-    listen(projectFilter, 'click', () => {
-      filter = 'project';
-      if (panel.dataset.view === 'skills') instance.callbacks.onSkillsBack?.();
-      refresh();
-      body.scrollTop = 0;
-    });
     listen(nav, 'keydown', event => {
       if (!['ArrowUp', 'ArrowDown', 'Home', 'End'].includes(event.key)) return;
       const tabs = Array.from(navButtons.values()).filter(tab => !tab.hidden);
@@ -363,7 +401,7 @@
     observer.observe(panel, { attributes: true, attributeFilter: ['data-view', 'data-settings-scope', 'data-theme'] });
     refresh();
     return {
-      show, hide, refresh, revealProviders,
+      show, hide, refresh, revealGroup, revealProviders,
       setProviderCloseGuard(guard) { providerCloseGuard = guard; },
       destroy() {
         destroyed = true;

package/extension/src/content/sharedSessionViewSync.js

@@ -49,9 +49,10 @@
       if (!scope.projectId || !scope.accountScopeId) { pending = false; return; }
       if (saving || isBusy()) { schedule(1000); return; }
       const local = getState();
-      // A draft or a not-yet-persisted edit always takes priority over passive
-      // history refresh. It remains on screen until the user saves/sends it.
-      if (local.task || (local.sessions || []).some(session => StorageDb.hasUnpersistedSharedSession(session))) {
+      // A locally edited draft or a not-yet-persisted edit takes priority over
+      // passive history refresh. Callers may distinguish imported shared drafts.
+      if ((options.hasLocalDraft ? options.hasLocalDraft(local) : Boolean(local.task))
+        || (local.sessions || []).some(session => StorageDb.hasUnpersistedSharedSession(session))) {
         schedule(1500); return;
       }
       const capturedVersion = version, capturedSignature = signature(local);

package/extension/src/content/subagentActivityView.js

@@ -3,18 +3,31 @@
 })(typeof globalThis !== 'undefined' ? globalThis : window, function subagentActivityViewFactory(Agents, Activity) {
   'use strict';
   function create(deps) {
-    const { tx, getPanel, plain, make, icon, formatElapsed, renderBlocks } = deps;
+    const { tx, getPanel, plain, plainThought, make, icon, formatElapsed, renderBlocks, glyph = () => '' } = deps;
+    const withGlyph = (node, name, label) => {
+      node.insertAdjacentHTML('beforeend', glyph(name));
+      const text = make('span', ''); text.textContent = label; node.append(text);
+      return node;
+    };
     let viewer = null;
     function statusLabel(status) {
       return ({ pending: tx('Starting', '启动中'), running: tx('Running', '运行中'),
         completed: tx('Completed', '已完成'), failed: tx('Failed', '失败'),
         cancelled: tx('Stopped', '已停止'), unknown: tx('Status unconfirmed', '状态未确认') })[status] || '';
     }
+    // A row preview is one plain line: a final message keeps its words, not its
+    // Markdown ("- `main.tex` is …" reads "main.tex is …").
+    function plainMessage(value) {
+      return value.replace(/^\s*(?:#{1,6}\s+|>\s?|[-*+]\s+|\d+[.)]\s+)/gm, '')
+        .replace(/!?\[([^\]]*)\]\([^)\s]*\)/g, '$1').replace(/`([^`\n]+)`/g, '$1')
+        .replace(/(\*\*|__)(?=\S)([\s\S]*?\S)\1/g, '$2').replace(/\s+/g, ' ').trim();
+    }
     function latest(agent) {
       const blocks = Activity.project({ status: agent.status, events: agent.events || [] }).blocks;
       const last = blocks.at(-1);
       const item = last?.kind === 'exploreGroup' ? last.items.at(-1) : last;
-      return plain(item?.meta?.target || item?.meta?.command || item?.event?.title || agent.task).slice(0, 180);
+      const text = plain(item?.meta?.target || item?.meta?.command || item?.event?.title || agent.task);
+      return (item?.kind === 'message' ? plainMessage(text) : text).slice(0, 180);
     }
     function elapsed(agent, run) {
       const duration = Agents.elapsedMs(agent, run, Date.now());
@@ -42,9 +55,9 @@
       shell.setAttribute('aria-label', tx('Subagent conversation', '子代理对话'));
       const header = make('header', 'codex-subagent-view-head');
       const back = make('button', 'codex-subagent-back');
-      back.type = 'button'; back.textContent = tx('Back to main task', '返回主任务');
+      back.type = 'button'; withGlyph(back, 'chevronLeft', tx('Back to main task', '返回主任务'));
       back.addEventListener('click', close);
-      const readonly = make('span', 'codex-subagent-readonly'); readonly.textContent = tx('Read only', '只读');
+      const readonly = withGlyph(make('span', 'codex-subagent-readonly'), 'lock', tx('Read only', '只读'));
       header.append(back, readonly);
       const parent = make('div', 'codex-subagent-parent');
       const parentLabel = make('span', 'codex-subagent-parent-label');
@@ -112,7 +125,7 @@
           const mark = icon('agent'), copy = make('span', 'run-subagent-copy');
           const name = make('span', 'run-subagent-name'), activity = make('span', 'run-subagent-activity');
           copy.append(name, activity);
-          const tail = make('span', 'run-subagent-tail'), status = make('span', ''), time = make('span', 'run-subagent-time');
+          const tail = make('span', 'run-subagent-tail'), status = make('span', 'run-subagent-status'), time = make('span', 'run-subagent-time');
           tail.append(status, time);
           el.append(mark, copy, tail);
           el.addEventListener('click', () => open(card, agent.key, el));
@@ -154,15 +167,17 @@
       const childStatus = Agents.effectiveStatus(agent, card.run);
       viewer.title.textContent = plain(agent.title || agent.jobId || agent.threadId);
       viewer.meta.textContent = [statusLabel(childStatus), elapsed(agent, card.run), agent.model, agent.reasoningEffort].filter(Boolean).join(' · ');
+      viewer.meta.dataset.state = childStatus;
       viewer.prompt.textContent = plain(agent.task);
       viewer.assignment.hidden = !viewer.prompt.textContent;
       const parent = Activity.project(card.run), last = parent.blocks.at(-1);
       const lastItem = last?.kind === 'exploreGroup' ? last.items.at(-1) : last;
-      const parentWork = plain(lastItem?.meta?.target || lastItem?.meta?.command || lastItem?.event?.title).slice(0, 150);
+      const parentWork = plainThought(plain(lastItem?.meta?.target || lastItem?.meta?.command || lastItem?.event?.title)).slice(0, 150);
       viewer.parentLabel.textContent = tx('Main agent · ', '主 agent · ') + (card.run.status === 'running'
         ? parentWork || tx('Working', '处理中') : tx('Run ended', '本轮已结束'));
       const running = (card.run.subagents || []).filter(item => ['pending', 'running'].includes(Agents.effectiveStatus(item, card.run))).length;
       viewer.parentCount.textContent = tx(running + ' subagents active', running + ' 个子任务进行中');
+      viewer.parentCount.hidden = running === 0;
       for (const sibling of card.run.subagents || []) {
         let button = viewer.siblingRows.get(sibling.key);
         if (!button) {
@@ -172,7 +187,8 @@
         }
         button.textContent = plain(sibling.title || sibling.jobId || sibling.threadId);
         button.setAttribute('aria-pressed', String(sibling.key === agent.key));
-        button.title = statusLabel(Agents.effectiveStatus(sibling, card.run));
+        button.dataset.state = Agents.effectiveStatus(sibling, card.run);
+        button.title = statusLabel(button.dataset.state);
       }
       const childRun = { id: card.id + ':' + agent.key, status: ['pending', 'running'].includes(childStatus) ? 'running' : childStatus,
         events: agent.events || [], mode: 'ask' };

package/extension/src/content/updateNotice.js

@@ -85,9 +85,20 @@
       } catch (_) { manualCommandCopied = false; }
       return;
     }
+    if (action === 'restore-previous' && !window.confirm(restorePreviousConfirmText())) return;
     return runUpdateAction(action);
   }
 
+  function restorePreviousLabel() {
+    const version = currentView?.restorePrevious?.version || '';
+    return version ? tx(`Restore v${version}`, `恢复到 v${version}`) : tx('Restore previous version', '恢复到上一版本');
+  }
+
+  function restorePreviousConfirmText() {
+    return tx('Restore the previous version? The extension reloads, and saved, idle Overleaf tabs are refreshed. Sessions, settings and provider keys are kept.',
+      '恢复到上一版本？扩展会重新加载，已保存且空闲的 Overleaf 标签页会被刷新。会话、设置和模型服务的密钥都会保留。');
+  }
+
   async function runUpdateAction(action) {
     const cancelling = action === 'cancel' || action === 'later';
     if (cancellationInFlight || ((actionInFlight || settingsActionInFlight) && !cancelling)) return;
@@ -105,7 +116,8 @@
         cancel: 'codex-overleaf/consent-update-cancel',
         recover: 'codex-overleaf/consent-update-recover',
         dismiss: 'codex-overleaf/consent-update-dismiss',
-        reload: 'codex-overleaf/consent-update-reload'
+        reload: 'codex-overleaf/consent-update-reload',
+        'restore-previous': 'codex-overleaf/consent-update-rollback'
       }[action]);
       if (sequence === actionSequence) currentView = view;
     } catch (error) {
@@ -226,6 +238,13 @@
       button.dataset.updateSettingsBound = 'true';
       button.addEventListener('click', handleSettingsAction);
     }
+    const restore = panel.querySelector?.('[data-restore-previous-version]');
+    if (restore && restore.dataset.updateSettingsBound !== 'true') {
+      restore.dataset.updateSettingsBound = 'true';
+      restore.addEventListener('click', () => {
+        if (window.confirm(restorePreviousConfirmText())) void runUpdateAction('restore-previous');
+      });
+    }
     renderSettings();
   }
 
@@ -356,13 +375,23 @@
     let statusText = '';
     let buttonText = tx('Check for updates', '检查更新');
 
-    if (stateName === 'idle' && state.code === 'update_cooldown') {
+    if (stateName === 'idle' && state.code === 'update_skipped_after_rollback') {
+      statusText = tx(
+        `v${latestVersion} is skipped because you restored the previous version. Check for updates to install it again.`,
+        `你已恢复到上一版本，自动更新会跳过 v${latestVersion}。点“检查更新”可以重新安装。`
+      );
+    } else if (stateName === 'idle' && state.code === 'update_cooldown') {
       const until = Number(state.cooldownUntil || 0);
       const time = until > 0 && Number.isFinite(until) ? new Date(until).toLocaleString(getLocale() || undefined) : '';
       statusText = tx(
         `Update v${latestVersion} is paused after a failed installation. ${time ? `Check again after ${time}.` : 'Check again after its cooldown ends.'}`,
         `v${latestVersion} 安装失败后已暂停更新。${time ? `请在 ${time} 后再次检查。` : '请在冷却期结束后再次检查。'}`
       );
+    } else if (stateName === 'idle' && !state.code && state.lastCheckedAt > 0
+      && (!latestVersion || !isNewerStableVersion(latestVersion, currentVersion))) {
+      // A finished check with nothing newer still answers the user's question.
+      const time = new Date(state.lastCheckedAt).toLocaleTimeString(getLocale() || undefined, { hour: 'numeric', minute: '2-digit' });
+      statusText = tx(`You have the latest stable version. Checked at ${time}.`, `已是最新稳定版本。检查时间 ${time}。`);
     } else if (['reload_required', 'reload_tabs_required'].includes(stateName)) {
       summaryText = tx(`Installed v${latestVersion}; running extension v${currentVersion}.`, `已安装 v${latestVersion}；扩展当前运行 v${currentVersion}。`);
       statusText = getCopy(state).detail;
@@ -404,11 +433,19 @@
     } else {
       button.disabled = actionInFlight || settingsActionInFlight || ACTIVE_UPDATE_STATES.has(stateName);
     }
+    const restore = settingsRoot.querySelector?.('[data-restore-previous-version]');
+    if (restore) {
+      restore.hidden = !currentView?.actions?.restorePrevious;
+      restore.textContent = restorePreviousLabel();
+      restore.disabled = actionInFlight || settingsActionInFlight;
+    }
   }
 
   function visibleActions(state) {
     const value = currentView?.state || {};
-    if (value.recoveryPending) return [{ id: 'recover', label: tx('Check recovery', '检查恢复状态'), primary: true }];
+    const restore = currentView?.actions?.restorePrevious
+      ? [{ id: 'restore-previous', label: restorePreviousLabel(), primary: false }] : [];
+    if (value.recoveryPending) return [...restore, { id: 'recover', label: tx('Check recovery', '检查恢复状态'), primary: true }];
     if (value.cancelRequested || ['checking', 'downloading'].includes(state)) {
       return [{ id: 'cancel', label: value.cancelRequested
         ? value.code ? tx('Retry cancellation', '重试取消') : tx('Cancelling…', '正在取消…')
@@ -442,7 +479,7 @@
       ];
     }
     if (state === 'committed') {
-      return [{ id: 'dismiss', label: tx('Done', '完成'), primary: true }];
+      return [...restore, { id: 'dismiss', label: tx('Done', '完成'), primary: true }];
     }
     return [];
   }
@@ -512,7 +549,9 @@
       rolled_back: {
         eyebrow: tx('Previous version restored', '已恢复上一版本'),
         title: state.currentVersion ? 'v' + state.currentVersion : '',
-        detail: tx('The replacement failed its health check.', '替换版本未通过健康检查。')
+        detail: state.code === 'update_user_rollback'
+          ? tx('You restored the previous version. Automatic reminders for this version are paused for 24 hours. Check for updates to install it again.', '已恢复到上一版本，刚才退出的版本将暂停自动提醒 24 小时。点“检查更新”可以重新安装。')
+          : tx('The replacement failed its health check.', '替换版本未通过健康检查。')
       },
       failed: {
         eyebrow: tx('Update could not continue', '更新无法继续'),
@@ -536,6 +575,7 @@
       update_not_applied: ['The update was stopped before installation. Retry when ready.', '更新已在安装前停止，可准备就绪后重试。'],
       update_recovery_pending: ['The update result is being checked. Recovery has not been confirmed.', '正在确认更新结果，恢复状态尚未确认。'],
       update_rolled_back: ['The previous version has been restored.', '已恢复上一版本。'],
+      update_user_rollback: ['You restored the previous version.', '你已恢复到上一版本。'],
       update_not_managed: ['Run install-managed once to enable coordinated automatic updates.', '请先运行一次 install-managed，以启用扩展与本机服务的协调更新。'],
       update_native_busy: ['Native Host is still processing a Codex task.', 'Native Host 仍在处理 Codex 任务。'],
       update_revoke_too_late: ['The update is already being installed. Wait for its result.', '更新已进入安装，请等待结果。'],
@@ -549,7 +589,7 @@
     if (messages[code]) return tx(...messages[code]);
     if (['update_health_failed', 'update_request_failed', 'update_failed'].includes(code)) return tx('The updated components could not be confirmed. Check recovery before retrying.', '尚未确认更新后的组件正常，请先检查恢复状态。');
     if (['update_bootstrap_health_timeout', 'update_bootstrap_reload_failed'].includes(code)) return tx('The updated startup components did not finish restarting and confirming. Check recovery before retrying.', '更新后的启动组件未能完成重启和确认，请先检查恢复状态。');
-    if (['update_bootstrap_source_mismatch', 'update_bootstrap_source_version_mismatch'].includes(code)) return tx('The installed startup files do not match a supported update source. Check recovery before retrying.', '已安装的启动文件与支持的升级来源不一致，请先检查恢复状态。');
+    if (['update_bootstrap_source_mismatch', 'update_bootstrap_source_version_mismatch'].includes(code)) return tx('The installed startup files do not match a supported update source. Restore the previous version in Settings, or reinstall once.', '已安装的启动文件与支持的升级来源不一致。请在设置中恢复到上一版本，或重新安装一次。');
     if (['update_bootstrap_record_missing', 'update_bootstrap_record_invalid', 'update_bootstrap_backup_mismatch', 'update_bootstrap_already_restoring'].includes(code)) return tx('The startup recovery material could not be confirmed. The update result remains unconfirmed.', '尚未确认启动组件的恢复材料有效，更新结果仍待确认。');
     if (['update_bootstrap_confirmation_pending', 'update_bootstrap_native_restart_required'].includes(code)) return tx('Waiting for the updated startup components and Native Host to finish restarting and confirming.', '正在等待更新后的启动组件和本机服务完成重启及确认。');
     if (code === 'update_bootstrap_monitor_unavailable') return tx('The update recovery monitor could not start. Check recovery before retrying.', '更新恢复监护程序未能启动，请先检查恢复状态。');
@@ -607,10 +647,24 @@
       return tx('The installed release candidate has the same version number as the stable release. Reinstall to use the stable release.',
         '已安装的候选版与稳定版使用相同版本号。请重新安装以使用稳定版。');
     }
+    if (state.code === 'update_bootstrap_source_mismatch') {
+      return tx('The installed startup files differ from the published release this update starts from, for example after a release candidate or local build. Reinstall once to continue.',
+        '已安装的启动文件与这次更新所基于的正式版不一致（例如装过候选版或本地构建）。重新安装一次即可继续。');
+    }
     const reason = state.manualReason || {};
     return tx(reason.en || reason.zh || '', reason.zh || reason.en || '');
   }
 
+  // Compares the numeric x.y.z core only; a local build ahead of the release is not behind.
+  function isNewerStableVersion(candidate, current) {
+    const parts = value => String(value || '').replace(/^v/i, '').split('-')[0].split('.').map(part => Number(part) || 0);
+    const [left, right] = [parts(candidate), parts(current)];
+    for (let index = 0; index < 3; index++) {
+      if ((left[index] || 0) !== (right[index] || 0)) return (left[index] || 0) > (right[index] || 0);
+    }
+    return false;
+  }
+
   function tx(english, chinese) {
     const locale = String(getLocale() || document.documentElement?.lang || 'en');
     return /^zh\b/i.test(locale) ? chinese : english;