codex-overleaf-link 2.3.2 → 2.3.4

package/extension/styles/panel.css

@@ -177,19 +177,51 @@
   --provider-muted: #a0a59f;
   --provider-accent: #79d58a;
   --provider-danger: #ef8176;
+  --provider-text: var(--provider-panel-color, #eef0ec);
+  --provider-field-label: #dfe3dd;
+  --provider-control-bg: rgba(255, 255, 255, 0.035);
+  --provider-hover: rgba(255, 255, 255, 0.07);
+  --provider-sidebar-bg: rgba(0, 0, 0, 0.09);
+  --provider-footer-bg: rgba(0, 0, 0, 0.08);
+  --provider-select-bg: rgba(7, 12, 10, 0.58);
+  --provider-backdrop: rgba(4, 7, 5, 0.68);
+  --provider-glow: rgba(83, 177, 105, 0.13);
+  --provider-shadow: 0 28px 80px rgba(0, 0, 0, 0.48);
+  --provider-disabled-opacity: 0.5;
   position: fixed;
   inset: 0;
   z-index: 2147483600;
-  color: var(--provider-panel-color, #eef0ec);
+  color: var(--provider-text);
   font-family: "Aptos", "SF Pro Text", sans-serif;
 }
 
+.codex-provider-dialog-root[data-theme="light"] {
+  --provider-bg: #f4f6f7;
+  --provider-surface: #ffffff;
+  --provider-surface-raised: #e9edf0;
+  --provider-line: rgba(31, 35, 40, 0.16);
+  --provider-muted: #5f6873;
+  --provider-accent: #247d3b;
+  --provider-danger: #bd352f;
+  --provider-text: #252a30;
+  --provider-field-label: #343b44;
+  --provider-control-bg: #ffffff;
+  --provider-hover: rgba(31, 35, 40, 0.065);
+  --provider-sidebar-bg: #e8ebee;
+  --provider-footer-bg: #eceff1;
+  --provider-select-bg: #ffffff;
+  --provider-backdrop: rgba(31, 35, 40, 0.38);
+  --provider-glow: rgba(53, 139, 74, 0.09);
+  --provider-shadow: 0 24px 64px rgba(31, 35, 40, 0.24);
+  --provider-disabled-opacity: 0.68;
+}
+
 .codex-provider-dialog-root[hidden] { display: none !important; }
 
 .codex-provider-dialog-backdrop {
   position: absolute;
   inset: 0;
-  background: rgba(4, 7, 5, 0.68);
+  background: var(--provider-backdrop);
   backdrop-filter: blur(3px);
 }
 
@@ -207,9 +239,9 @@
   border: 1px solid var(--provider-line);
   border-radius: 16px;
   background:
-    radial-gradient(circle at 92% -8%, rgba(83, 177, 105, 0.13), transparent 34%),
+    radial-gradient(circle at 92% -8%, var(--provider-glow), transparent 34%),
     var(--provider-bg);
-  box-shadow: 0 28px 80px rgba(0, 0, 0, 0.48);
+  box-shadow: var(--provider-shadow);
 }
 
 .codex-provider-dialog-head,
@@ -259,7 +291,7 @@
   cursor: pointer;
 }
 
-.codex-provider-dialog-close:hover { background: rgba(255, 255, 255, 0.07); color: inherit; }
+.codex-provider-dialog-close:hover { background: var(--provider-hover); color: inherit; }
 
 .codex-provider-dialog-body {
   min-height: 0;
@@ -273,7 +305,7 @@
   padding: 14px 10px;
   overflow: auto;
   border-right: 1px solid var(--provider-line);
-  background: rgba(0, 0, 0, 0.09);
+  background: var(--provider-sidebar-bg);
 }
 
 .codex-provider-row,
@@ -297,7 +329,7 @@
 }
 
 .codex-provider-row:hover,
-.codex-provider-row[aria-current="true"] { background: rgba(255, 255, 255, 0.07); }
+.codex-provider-row[aria-current="true"] { background: var(--provider-hover); }
 .codex-provider-row[aria-current="true"] { box-shadow: inset 2px 0 var(--provider-accent); }
 .codex-provider-row-main { display: block; width: 100%; min-width: 0; overflow: hidden; text-overflow: ellipsis; font-size: 13px; font-weight: 650; white-space: nowrap; }
 .codex-provider-row-status { color: var(--provider-muted); font-size: 11px; }
@@ -341,7 +373,7 @@
   display: flex;
   flex-direction: column;
   gap: 7px;
-  color: #dfe3dd;
+  color: var(--provider-field-label);
   font-size: 12px;
   font-weight: 650;
 }
@@ -358,7 +390,7 @@
   border: 1px solid var(--provider-line);
   border-radius: 8px;
   outline: 0;
-  background: rgba(255, 255, 255, 0.035);
+  background: var(--provider-control-bg);
   color: inherit;
   font: inherit;
   font-weight: 450;
@@ -438,7 +470,7 @@
   border-radius: 9px;
   appearance: none;
   -webkit-appearance: none;
-  background: rgba(7, 12, 10, 0.58);
+  background: var(--provider-select-bg);
   color: var(--provider-text);
   color-scheme: dark;
   font: inherit;
@@ -506,7 +538,7 @@
   padding-bottom: 14px;
   border-top: 1px solid var(--provider-line);
   border-bottom: 0;
-  background: rgba(0, 0, 0, 0.08);
+  background: var(--provider-footer-bg);
 }
 
 .codex-provider-operation-status { min-width: 0; color: var(--provider-muted); font-size: 11px; }
@@ -524,7 +556,7 @@
   padding: 0 13px;
   border: 1px solid var(--provider-line);
   border-radius: 8px;
-  background: rgba(255, 255, 255, 0.04);
+  background: var(--provider-control-bg);
   color: inherit;
   font: inherit;
   font-size: 12px;
@@ -544,7 +576,7 @@
 }
 .codex-provider-secondary-button[data-provider-action="save"]:disabled {
   border-color: var(--provider-line);
-  background: rgba(255, 255, 255, 0.04);
+  background: var(--provider-control-bg);
   color: var(--provider-muted);
   box-shadow: none;
 }
@@ -553,7 +585,22 @@
 .codex-provider-dialog-root button:disabled,
 .codex-provider-dialog-root input:disabled,
 .codex-provider-dialog-root select:disabled,
-.codex-provider-dialog-root textarea:disabled { cursor: not-allowed; opacity: 0.5; }
+.codex-provider-dialog-root textarea:disabled { cursor: not-allowed; opacity: var(--provider-disabled-opacity); }
+
+.codex-provider-dialog-root[data-theme="light"] .codex-provider-experimental-badge {
+  border-color: rgba(148, 102, 8, 0.34);
+  background: rgba(148, 102, 8, 0.08);
+  color: #855d09;
+}
+
+.codex-provider-dialog-root[data-theme="light"] .codex-provider-test-select-shell select {
+  color-scheme: light;
+}
+
+.codex-provider-dialog-root[data-theme="light"] .codex-provider-disclosure {
+  background: rgba(148, 102, 8, 0.08);
+  color: #72500b;
+}
 
 .codex-provider-builtin { max-width: 430px; padding-top: 34px; }
 .codex-provider-builtin-mark { display: grid; place-items: center; width: 48px; height: 48px; margin-bottom: 18px; border-radius: 14px; background: linear-gradient(145deg, #3f8d51, #255932); color: #fff; font-size: 21px; font-weight: 800; }
@@ -603,6 +650,78 @@
   overflow: hidden;
 }
 
+#codex-overleaf-launcher {
+  position: fixed;
+  top: 50%;
+  right: 0;
+  z-index: 2147483646;
+  display: grid;
+  width: 26px;
+  height: 36px;
+  padding: 0;
+  place-items: center;
+  border: 1px solid #3a3a3a;
+  border-right: 0;
+  border-radius: 7px 0 0 7px;
+  background: #181818;
+  box-shadow: -1px 1px 5px rgba(0, 0, 0, 0.18);
+  color: #8a8a8a;
+  cursor: pointer;
+  opacity: 0.82;
+  transform: translateY(-50%);
+  transition: width 120ms ease, background 120ms ease, color 120ms ease, opacity 120ms ease;
+  appearance: none;
+}
+
+#codex-overleaf-launcher[hidden] { display: none !important; }
+
+#codex-overleaf-launcher:hover {
+  width: 29px;
+  background: #232323;
+  color: #b7b7b7;
+  opacity: 1;
+}
+
+#codex-overleaf-launcher:active {
+  background: #2a2d2e;
+}
+
+#codex-overleaf-launcher:focus-visible {
+  outline: 2px solid #6aa4d8;
+  outline-offset: 2px;
+}
+
+#codex-overleaf-launcher .codex-icon,
+#codex-overleaf-launcher .codex-icon svg {
+  display: block;
+  width: 14px;
+  height: 14px;
+}
+
+#codex-overleaf-launcher .codex-icon svg {
+  fill: none;
+  stroke: currentColor;
+  stroke-width: 1.45;
+  stroke-linecap: round;
+  stroke-linejoin: round;
+}
+
+#codex-overleaf-panel[data-theme="light"] ~ #codex-overleaf-launcher {
+  border-color: #d7dbe0;
+  background: #f3f4f6;
+  box-shadow: -1px 1px 5px rgba(31, 35, 40, 0.12);
+  color: #6a7280;
+}
+
+#codex-overleaf-panel[data-theme="light"] ~ #codex-overleaf-launcher:hover {
+  background: #eef0f3;
+  color: #3d4651;
+}
+
+@media (prefers-reduced-motion: reduce) {
+  #codex-overleaf-launcher { transition: none; }
+}
+
 :root.codex-overleaf-panel-compact body {
   width: auto !important;
   max-width: none !important;
@@ -2949,6 +3068,62 @@
   font-weight: 600;
 }
 
+#codex-overleaf-panel .run-final-answer .run-system-label {
+  color: var(--tl-accent);
+  font-weight: 650;
+  letter-spacing: 0.01em;
+}
+
+#codex-overleaf-panel .run-completion-report[data-status="failed"] .run-system-label[data-system-label="conclusion"] {
+  color: var(--tl-fail);
+}
+
+#codex-overleaf-panel .run-final-answer .run-change-summary {
+  display: flex;
+  align-items: center;
+  gap: 6px;
+  margin: 7px 0 8px;
+  color: var(--tl-ok);
+  font-size: 12px;
+}
+
+#codex-overleaf-panel .run-final-answer .run-change-summary__check {
+  font-weight: 650;
+}
+
+#codex-overleaf-panel .run-final-answer .run-change-receipts {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 6px 13px;
+  margin: 0;
+  padding: 0;
+  list-style: none;
+}
+
+#codex-overleaf-panel .run-final-answer .run-change-receipt {
+  display: flex;
+  flex-wrap: wrap;
+  align-items: baseline;
+  gap: 0.32em;
+  margin: 0;
+  min-width: 0;
+}
+
+#codex-overleaf-panel .run-final-answer .run-change-receipt + .run-change-receipt {
+  margin-top: 0;
+}
+
+#codex-overleaf-panel .run-final-answer .run-change-receipt__file {
+  color: var(--tl-fg-1);
+  font: 600 0.94em/1.4 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
+  overflow-wrap: anywhere;
+}
+
+#codex-overleaf-panel .run-final-answer .run-change-receipt__operation {
+  color: var(--tl-fg-3);
+  font-size: 0.88em;
+}
+
 #codex-overleaf-panel .run-final-answer p + p,
 #codex-overleaf-panel .run-final-answer p + ul,
 #codex-overleaf-panel .run-final-answer p + ol,
@@ -3789,8 +3964,10 @@
 
 #codex-overleaf-panel .codex-pending-inputs {
   display: grid;
-  gap: 6px;
-  padding: 0 6px 7px;
+  gap: 0;
+  margin: 0 6px 7px;
+  padding: 7px 4px 0;
+  border-top: 1px solid var(--tl-border);
 }
 
 #codex-overleaf-panel .codex-pending-inputs[hidden] {
@@ -3799,38 +3976,56 @@
 
 #codex-overleaf-panel .codex-pending-input {
   display: grid;
-  grid-template-columns: minmax(0, 1fr) auto;
+  grid-template-columns: 20px minmax(0, 1fr) auto;
   align-items: center;
-  gap: 8px;
+  gap: 7px;
   min-width: 0;
-  padding: 8px 9px;
-  border: 1px solid var(--tl-border);
-  border-radius: 9px;
-  background: color-mix(in srgb, var(--tl-surface-1) 86%, var(--tl-accent) 14%);
+  padding: 8px 5px;
+  border-top: 1px solid var(--tl-border);
+  background: transparent;
+}
+
+#codex-overleaf-panel .codex-pending-input:first-of-type {
+  border-top: 0;
 }
 
-#codex-overleaf-panel .codex-pending-input[data-status="paused"] {
-  background: color-mix(in srgb, var(--tl-surface-1) 90%, var(--tl-warn) 10%);
+#codex-overleaf-panel .codex-pending-input:hover,
+#codex-overleaf-panel .codex-pending-input:focus-within {
+  border-radius: 8px;
+  background: var(--tl-hover);
+}
+
+#codex-overleaf-panel .codex-pending-input-marker {
+  display: inline-grid;
+  place-items: center;
+  color: var(--tl-fg-3);
+}
+
+#codex-overleaf-panel .codex-pending-input[data-status="paused"] .codex-pending-input-marker {
+  color: var(--tl-warn);
+}
+
+#codex-overleaf-panel .codex-pending-input[data-status="steering"] .codex-pending-input-marker,
+#codex-overleaf-panel .codex-pending-input[data-status="executing"] .codex-pending-input-marker {
+  color: var(--tl-accent);
 }
 
 #codex-overleaf-panel .codex-pending-input-copy {
   display: grid;
   min-width: 0;
-  gap: 2px;
+  gap: 3px;
 }
 
 #codex-overleaf-panel .codex-pending-input-status {
   color: var(--tl-fg-3);
-  font-size: 10px;
-  font-weight: 700;
-  letter-spacing: 0.06em;
-  text-transform: uppercase;
+  font-size: 10.5px;
+  font-weight: 500;
 }
 
 #codex-overleaf-panel .codex-pending-input-text {
   color: var(--tl-fg-1);
-  font-size: 12px;
-  line-height: 1.35;
+  font-size: 13px;
+  line-height: 1.4;
   overflow-wrap: anywhere;
   white-space: pre-wrap;
 }
@@ -3838,6 +4033,13 @@
 #codex-overleaf-panel .codex-pending-input-actions {
   display: inline-flex;
   gap: 4px;
+  color: var(--tl-fg-3);
+  opacity: 0.72;
+}
+
+#codex-overleaf-panel .codex-pending-input:hover .codex-pending-input-actions,
+#codex-overleaf-panel .codex-pending-input:focus-within .codex-pending-input-actions {
+  opacity: 1;
 }
 
 #codex-overleaf-panel .codex-pending-input-actions button {
@@ -3879,6 +4081,16 @@
   stroke-linejoin: round;
 }
 
+#codex-overleaf-panel .codex-pending-input-marker svg {
+  width: 15px;
+  height: 15px;
+  fill: none;
+  stroke: currentColor;
+  stroke-width: 1.55;
+  stroke-linecap: round;
+  stroke-linejoin: round;
+}
+
 #codex-overleaf-panel .codex-pending-input-icon[data-action="guide"]:hover {
   color: var(--tl-accent);
 }

package/native-host/src/codexRuntimeIdentity.js

@@ -22,24 +22,99 @@ function buildCodexRuntimeIdentity(options = {}) {
   const candidatePaths = selectedPath
     ? [selectedPath, ...discovered.filter(candidate => !sameExecutablePath(candidate, selectedPath, platform))]
     : discovered;
-  const candidates = candidatePaths.slice(0, MAX_CODEX_CANDIDATES).map((candidatePath, index) => ({
+  const candidates = candidatePaths.slice(0, MAX_CODEX_CANDIDATES).map(candidatePath => ({
     path: candidatePath,
     displayPath: compactHomePath(candidatePath, env, platform),
     version: readCodexVersion(candidatePath, { env, platform }),
     source: classifyCodexSource(candidatePath),
-    selected: index === 0 && Boolean(selectedPath)
+    selected: false
   }));
-  const selected = candidates.find(candidate => candidate.selected) || null;
+  const selectedIndex = selectCodexCandidateIndex(candidates, {
+    selectedPath,
+    selectionPolicy: options.selectionPolicy,
+    platform
+  });
+  if (selectedIndex >= 0) {
+    candidates[selectedIndex].selected = true;
+  }
+  const selected = selectedIndex >= 0 ? candidates[selectedIndex] : null;
 
   return {
     schemaVersion: 1,
     selected,
     candidates,
     multipleInstallations: candidates.length > 1,
-    selectedBy: selected ? 'path-order' : 'not-found'
+    selectedBy: selected
+      ? options.selectionPolicy === 'newest-version' ? 'newest-version' : options.selectionPolicy === 'explicit-path' ? 'explicit-path' : 'path-order'
+      : 'not-found'
   };
 }
 
+function selectCodexCandidateIndex(candidates, options = {}) {
+  if (!candidates.length) return -1;
+  if (options.selectionPolicy !== 'newest-version') {
+    if (!options.selectedPath) return -1;
+    return candidates.findIndex(candidate => sameExecutablePath(
+      candidate.path,
+      options.selectedPath,
+      options.platform
+    ));
+  }
+
+  let selectedIndex = 0;
+  for (let index = 1; index < candidates.length; index += 1) {
+    if (compareCodexVersions(candidates[index].version, candidates[selectedIndex].version) > 0) {
+      selectedIndex = index;
+    }
+  }
+  return selectedIndex;
+}
+
+function compareCodexVersions(left, right) {
+  const leftVersion = parseCodexVersion(left);
+  const rightVersion = parseCodexVersion(right);
+  if (!leftVersion && !rightVersion) return 0;
+  if (!leftVersion) return -1;
+  if (!rightVersion) return 1;
+
+  for (let index = 0; index < 3; index += 1) {
+    if (leftVersion.core[index] !== rightVersion.core[index]) {
+      return leftVersion.core[index] - rightVersion.core[index];
+    }
+  }
+  if (!leftVersion.prerelease && rightVersion.prerelease) return 1;
+  if (leftVersion.prerelease && !rightVersion.prerelease) return -1;
+  if (!leftVersion.prerelease && !rightVersion.prerelease) return 0;
+  return comparePrerelease(leftVersion.prerelease, rightVersion.prerelease);
+}
+
+function parseCodexVersion(value) {
+  const match = String(value || '').trim().match(/^(\d+)\.(\d+)\.(\d+)(?:-([^+]+))?/);
+  if (!match) return null;
+  return {
+    core: [Number(match[1]), Number(match[2]), Number(match[3])],
+    prerelease: match[4] || ''
+  };
+}
+
+function comparePrerelease(left, right) {
+  const leftParts = left.split('.');
+  const rightParts = right.split('.');
+  const length = Math.max(leftParts.length, rightParts.length);
+  for (let index = 0; index < length; index += 1) {
+    if (leftParts[index] === undefined) return -1;
+    if (rightParts[index] === undefined) return 1;
+    if (leftParts[index] === rightParts[index]) continue;
+    const leftNumber = /^\d+$/.test(leftParts[index]) ? Number(leftParts[index]) : null;
+    const rightNumber = /^\d+$/.test(rightParts[index]) ? Number(rightParts[index]) : null;
+    if (leftNumber !== null && rightNumber !== null) return leftNumber - rightNumber;
+    if (leftNumber !== null) return -1;
+    if (rightNumber !== null) return 1;
+    return leftParts[index].localeCompare(rightParts[index]);
+  }
+  return 0;
+}
+
 function discoverCodexCandidates(pathValue, options = {}) {
   const platform = options.platform || process.platform;
   const delimiter = options.delimiter || (platform === 'win32' ? ';' : path.delimiter);

package/native-host/src/nativeEnvironment.js

@@ -16,6 +16,7 @@ const SUPPORTED_PLATFORMS = new Set(['darwin', 'linux', 'win32']);
 
 function buildNativeRuntimeEnv(baseEnv = process.env, options = {}) {
   const env = { ...baseEnv };
+  const explicitCodexPath = String(baseEnv.CODEX_OVERLEAF_CODEX_PATH || '').trim();
   const runtimeOptions = { ...options, platform: getNativeRuntimePlatform(options) };
   const loginShellEnv = options.readLoginShellEnv
     ? options.readLoginShellEnv(baseEnv, runtimeOptions)
@@ -38,12 +39,14 @@ function buildNativeRuntimeEnv(baseEnv = process.env, options = {}) {
     env[getToolEnvName(tool)] = resolveExecutable(tool, env.PATH, { ...runtimeOptions, env }) || '';
   }
   const codexRuntime = buildCodexRuntimeIdentity({
-    selectedPath: env.CODEX_OVERLEAF_CODEX_PATH,
+    selectedPath: explicitCodexPath || env.CODEX_OVERLEAF_CODEX_PATH,
+    selectionPolicy: explicitCodexPath ? 'explicit-path' : 'newest-version',
     pathValue: env.PATH,
     delimiter: runtimeOptions.delimiter,
     env,
     platform: runtimeOptions.platform
   });
+  env.CODEX_OVERLEAF_CODEX_PATH = codexRuntime.selected?.path || '';
   env.CODEX_OVERLEAF_CODEX_RUNTIME_JSON = serializeCodexRuntimeIdentity(codexRuntime);
   env.CODEX_OVERLEAF_CODEX_VERSION = codexRuntime.selected?.version || '';
   env.CODEX_OVERLEAF_CODEX_SOURCE = codexRuntime.selected?.source || '';