codex-overleaf-link 2.3.3 → 2.3.5

package/extension/bootstrap/manifest.template.json

@@ -1,7 +1,7 @@
 {
   "manifest_version": 3,
   "name": "Codex Overleaf Link",
-  "version": "2.3.3",
+  "version": "2.3.5",
   "description": "Connect the active Overleaf project to a local Codex bridge.",
   "icons": {
     "16": "assets/icons/icon16.png",

package/extension/src/background.js

@@ -15,6 +15,11 @@ if (!globalThis.CodexOverleafNativeRequestIdentity) {
     : 'shared/nativeRequestIdentity.js';
   importScripts(runtimeBase ? chrome.runtime.getURL(identityPath) : identityPath);
 }
+if (!globalThis.CodexOverleafGlobalPreferences) {
+  const runtimeBase = String(globalThis.__CODEX_OVERLEAF_RUNTIME_BASE__ || '');
+  importScripts(runtimeBase ? chrome.runtime.getURL(`${runtimeBase}/src/shared/globalPreferences.js`) : 'shared/globalPreferences.js');
+}
+globalThis.CodexOverleafGlobalPreferences?.installBackground(chrome);
 
 (function initBackground() {
   'use strict';

package/extension/src/content/composerPanel.js

@@ -110,7 +110,7 @@
             </span>
           </div>
           <div class="codex-context-selection" data-context-selection></div>
-          <div class="codex-context-status" data-context-status>Type @ to add context: @file, @compile-log, @current-section.</div>
+          <div class="codex-context-status" data-context-status>Type @ to choose files or add @compile-log. Name the section you want in your request.</div>
           <div class="codex-context-files" data-context-file-list></div>
         </div>
       </form>

package/extension/src/content/contentRuntime.js

@@ -217,6 +217,7 @@
     renderAuditHistoryPanel: () => renderAuditHistoryPanel(),
     renderRecentProjectsVariant: (...args) => renderRecentProjectsVariant(...args),
     saveStateSoon: () => saveStateSoon(),
+    updateGlobalPreferences: patch => getGlobalPreferences().update(patch),
     setState: next => { state = next; },
     tr,
     tx,
@@ -383,7 +384,8 @@
     getState: () => state,
     setState: next => { state = next; },
     getCurrentRunView: () => currentRunView,
-    getSettingsPanelInstance: () => settingsPanelInstance
+    getSettingsPanelInstance: () => settingsPanelInstance,
+    prepareRetryReplacement: run => prepareRetryReplacement(run)
   });
   const {
     showUndoFileSelection,
@@ -663,6 +665,7 @@
   const providerSettingsCoordinator = Modules.ProviderSettingsCoordinator.create({
     ProviderProfiles: Modules.ProviderProfiles,
     ProviderSettingsDialog: Modules.ProviderSettingsDialog,
+    hasCurrentProject: () => Boolean(getCurrentProjectId()),
     tx,
     sendBackgroundNative,
     document,
@@ -839,7 +842,9 @@
   let composerPanelInstance = null;
   let state = null;
   let storageKey = LEGACY_STORAGE_KEY;
+  let globalPreferencesController = null;
   let currentRunView = null;
+  let pendingRetryReplacement = null;
   let runQueueScheduler = null;
   let runInputCoordinator = null;
   const activeTurnControl = ActiveTurnControl.create({ chrome });
@@ -936,6 +941,13 @@
       sendResponse?.(getPanelStateResponse());
       return;
     }
+    if (message?.type === 'codex-overleaf/toggle-launcher') {
+      const visible = !PanelRenderer.isLauncherVisible(panelRendererInstance);
+      PanelRenderer.setLauncherVisible(panelRendererInstance, visible, { persist: true });
+      if (!visible) closePanel();
+      sendResponse?.(getPanelStateResponse());
+      return;
+    }
     if (message?.type === 'codex-overleaf/toggle-panel') {
       if (isPanelOpen()) {
         closePanel();
@@ -966,9 +978,10 @@
   });
 
   async function init() {
+    await getGlobalPreferences().initialize();
     await refreshAccountScopeId();
     storageKey = getProjectStorageKey(LEGACY_STORAGE_KEY, window.location.href);
-    state = normalizePanelState(await loadStoredState(), { restoreRunningRuns: true });
+    state = normalizePanelState(getGlobalPreferences().overlay(await loadStoredState()), { restoreRunningRuns: true });
     initializeRunQueueScheduler();
     recoverInterruptedRunJournals()
       .then(() => applyStateToPanel())
@@ -990,6 +1003,7 @@
       recentProjects.mountDashboardShell();
     }
     applyStateToPanel();
+    getGlobalPreferences().refreshView();
     // Welcome-panel + write-guard: seed the lifecycle
     // module-locals from the current URL, install the SPA route hook so
     // future Overleaf navigations swap variants, and warm the account-scope
@@ -1186,7 +1200,12 @@
         maxWidth: PANEL_MAX_WIDTH,
         pageMinWidth: PAGE_MIN_WIDTH,
         initialWidth: state?.panelWidth || PANEL_DEFAULT_WIDTH,
+        chromeApi: chrome,
+        launcherLabel: tx('Show or hide Codex panel', '显示或隐藏 Codex 边栏'),
         callbacks: {
+          onLauncherToggle: () => ensurePanelOpen(),
+          onClosePanel: () => closePanel(),
+          onLauncherVisibilityChange: visible => { if (!visible) closePanel(); },
           onRefresh: () => refreshProbe({ userInitiated: true }),
           onNewSession: () => startNewSession(),
           onChangeHistory: () => openChangeHistory(),
@@ -1249,7 +1268,7 @@
         button: panel.querySelector('[data-custom-instructions-settings]'),
         callbacks: {
           onBack: () => closeCustomInstructionsSettings(),
-          onInputChange: () => persistPanelInputs(),
+          onInputChange: event => persistPanelInputs(event),
           onSkillsOpen: () => openSkillsView(),
           onSkillsBack: () => closeSkillsView(),
           onProvidersOpen: () => providerSettingsCoordinator.open(),
@@ -1364,7 +1383,8 @@
   function getPanelStateResponse() {
     return {
       ok: true,
-      open: isPanelOpen()
+      open: isPanelOpen(),
+      launcherVisible: PanelRenderer.isLauncherVisible(panelRendererInstance)
     };
   }
 
@@ -1789,6 +1809,12 @@
     // Freeze submitted run identity before the panel can change during the run.
     const submittedMode = executionSnapshot.mode;
     const submittedRequireReviewing = executionSnapshot.requireReviewing === true;
+    const replaceRunId = queuedInput ? '' : runController.resolveRetryReplacement({
+      candidate: pendingRetryReplacement,
+      activeSessionId: state.activeSessionId,
+      runs: state.runs,
+      projectRunSettlement: run => WritebackSettlement.projectRunSettlement(run)
+    });
 
     runCancellationRequested = false;
     runCancellationController = new AbortController();
@@ -1802,8 +1828,10 @@
       executionSnapshot,
       attachments: submittedAttachments,
       skillInvocation: submittedSkillInvocation,
-      queueItemId: queuedInput?.id || ''
+      queueItemId: queuedInput?.id || '',
+      replaceRunId
     });
+    if (!queuedInput) pendingRetryReplacement = null;
     const runSessionId = currentRunView.sessionId;
     let runAuditDraft = null;
     try {
@@ -4309,6 +4337,19 @@
     return scopedPersistenceCoordinator;
   }
 
+  function getGlobalPreferences() {
+    if (!globalPreferencesController) globalPreferencesController = Modules.GlobalPreferencesController.create({
+      chromeApi: chrome, getState: () => state, setState: next => { state = next; }, getPanel: () => panel,
+      applyTheme: applyPanelTheme, applyLocale: () => { applyLocaleToPanel(); refreshDashboardSoon(); },
+      onPreloadChange: enabled => contextTrayController.scheduleContextPrefetch({ enabled }),
+      onSkillsChange: () => { renderLocalSkillList(); updateSkillsEntrySummary(); },
+      onError: error => showPluginToast(tx(
+        `Global settings could not be saved or loaded: ${error.message}. Please retry.`,
+        `全局设置未能保存或读取：${error.message}。请重试。`), { status: 'failed', sticky: true })
+    });
+    return globalPreferencesController;
+  }
+
   async function reloadProjectRunHistory(newProjectId) {
     // Rebind the storage key to the new project and reload the panel state
     // from chrome.storage.local so the per-project session list reflects
@@ -4316,7 +4357,7 @@
     try {
       storageKey = getProjectStorageKey(LEGACY_STORAGE_KEY, window.location.href);
       const reloaded = await loadStoredState();
-      state = normalizePanelState(reloaded, { restoreRunningRuns: true });
+      state = normalizePanelState(getGlobalPreferences().overlay(reloaded), { restoreRunningRuns: true });
       applyStateToPanel();
     } catch (_error) {
       // Reload failures fall back to the in-memory state; the next saveState
@@ -5054,8 +5095,8 @@
     return fileItems.length
       ? fileItems.join(', ')
       : tx(
-        '@whole-project (default); add @file, @compile-log, or @current-section',
-        '@whole-project（默认）；可添加 @file、@compile-log、@current-section'
+        '@whole-project (default); choose files or add @compile-log',
+        '@whole-project（默认）；可选择文件或添加 @compile-log'
       );
   }
 
@@ -5888,6 +5929,8 @@
   }
 
   async function persistPanelInputs(event) {
+    const globalWrite = getGlobalPreferences().handleInput(event);
+    if (globalWrite) return globalWrite;
     // Typing in the task box is the hottest write path: a full saveState per
     // keystroke serializes every session/run/event and rewrites IndexedDB, so
     // panels get slower as history grows. Drafts take the debounced saver;
@@ -5986,29 +6029,8 @@
         setCustomInstructionsForProject(projectId, customInstructionsInput.value);
       }
       setGovernanceRulesForCurrentProject(readGovernanceRulesFromSettings());
-      const newSettings = readSkillLoadingSettingsFromSettings();
-      const prevOverleafSkills = getSkillLoadingSettings().loadCodexOverleafSkills;
-      setSkillLoadingSettings(newSettings);
-      // Theme is a global preference; read it from the settings select (which
-      // lives inside the panel, like the other settings inputs), persist it on
-      // state, and apply immediately. applyPanelTheme normalizes the value.
-      const themePref = panel?.querySelector('[data-theme-select]')?.value || 'dark';
-      if (state) {
-        state.theme = themePref;
-      }
-      applyPanelTheme(themePref);
-      // Language is a global UI preference (moved here from the diagnostics
-      // menu); re-translate the panel when it changes.
-      const languagePref = panel?.querySelector('[data-language-select]')?.value;
-      if (languagePref && state && languagePref !== getLocale()) {
-        state.locale = i18n?.normalizeLocale?.(languagePref) || languagePref;
-        applyLocaleToPanel();
-      }
-      // Re-render skill list when master toggle changes so per-skill toggles update their disabled state.
-      if (prevOverleafSkills !== getSkillLoadingSettings().loadCodexOverleafSkills) {
-        renderLocalSkillList();
-      }
-      updateSkillsEntrySummary();
+      // Global controls are handled as field patches by getGlobalPreferences;
+      // unrelated session autosaves must not read stale settings controls.
     }
   }
 
@@ -6127,6 +6149,17 @@
     renderPendingInputs();
   }
 
+  function prepareRetryReplacement(run) {
+    const sessionId = state?.activeSessionId || '';
+    const source = findRunRecord(run?.id, sessionId);
+    const eligible = source && runController.isRetryReplacementEligible(
+      source,
+      WritebackSettlement.projectRunSettlement(source)
+    );
+    pendingRetryReplacement = eligible ? { sessionId, runId: source.id } : null;
+    return Boolean(eligible);
+  }
+
   function startRunView({
     task,
     mode,
@@ -6134,6 +6167,7 @@
     reasoningEffort,
     speedTier,
     queueItemId = '',
+    replaceRunId = '',
     executionSnapshot = null
   }) {
     let attachments = [];
@@ -6185,13 +6219,14 @@
       }
       : {};
     state = updateActiveSession(state, {
-      runs: [...(state.runs || []), record].slice(-20),
+      runs: runController.replaceRunForRetry(state.runs, replaceRunId, record),
       ...titlePatch
     });
-    saveStateSoon();
+    saveStateSoon(replaceRunId ? 0 : 120);
 
     const log = panel.querySelector('[data-log]');
     removeEmptyRunsMessage(log);
+    if (replaceRunId) log.querySelector(`[data-run-id="${cssEscape(replaceRunId)}"]`)?.remove();
     const root = renderRunCard(record);
     log.append(root);
     scrollLogToBottom({ force: true });