dsh-vscode-mode 0.16.0 → 0.18.0

package/src/client/state/modelWarmer.ts

@@ -0,0 +1,198 @@
+/**
+ * dsh-vscode-mode client — Monaco model 预热调度层。
+ *
+ * 背景：Monaco 的 GotoDefinitionAtPositionEditorContribution 在 Ctrl+hover 渲染定义链接
+ * 预览时，对目标的 edrv:// uri 调 textModelResolverService.createModelReference 后
+ * **只挂 then、没有 catch**；目标文件若从未在本会话打开过，该 uri 没有已注册 model，
+ * createModelReference 直接 reject("Model not found")，成为未捕获的 promise 异常。
+ * 本构建的 vendored Monaco 也没有 registerTextModelContentProvider 可供惰性喂内容，
+ * 因此修法是在 provideDefinition 返回前把目标 model 建出来（预热）。
+ *
+ * 本模块只负责「让某路径的 model 存在」这件事的调度：安装/卸载实现、并发单飞、
+ * 失败冷却与等待上限。真正建 model 的实现由 EditorView 注入（它才持有 monaco 与文档缓存）。
+ * 纯逻辑，不依赖 monaco，可单测。
+ * 作者 ddj 2026年10月20号
+ */
+
+// --region 常量与状态
+
+/** 单次预热调用的等待上限：超过即放行 hover（预热仍在后台继续）。 */
+export const WARM_TIMEOUT_MS = 400
+
+/** 预热失败后该路径的冷却窗口，避免每次 hover 都重试同一失败目标。 */
+export const WARM_COOLDOWN_MS = 10_000
+
+/** 冷却表条目上限（超出按插入序丢最旧），防长会话里无限增长。 */
+export const WARM_COOLDOWN_CAP = 64
+
+/** 预热实现：给定工作区相对路径，成功让 model 存在则返回 true。 */
+export type WarmImpl = (path: string) => Promise<boolean>
+
+/** 当前安装的预热实现（EditorView 挂载时注入，未挂载则为 null）。 */
+let impl: WarmImpl | null = null
+/** path → 进行中的预热（单飞：连续 hover 同一目标只读一次盘）。 */
+const inFlight = new Map<string, Promise<boolean>>()
+/** path → 冷却截止时间戳（毫秒）。 */
+const cooled = new Map<string, number>()
+// --endregion
+
+// --region 状态维护
+
+/**
+ * 清空进行中/冷却状态（安装或卸载实现时复位，避免跨实现串味）。
+ * @author ddj 2026年10月20号
+ */
+function resetWarmerState(): void {
+  inFlight.clear()
+  cooled.clear()
+}
+
+/**
+ * 该路径是否处于失败冷却窗口内（过期的顺手清掉）。
+ * @author ddj 2026年10月20号
+ * @param path 工作区相对路径
+ * @returns 仍在冷却中返回 true
+ */
+function isCooling(path: string): boolean {
+  const until = cooled.get(path)
+  if (until === undefined) return false
+  if (until > Date.now()) return true
+
+  cooled.delete(path)
+  return false
+}
+
+/**
+ * 记录一次失败冷却，并把冷却表裁剪到上限以内。
+ * @author ddj 2026年10月20号
+ * @param path 工作区相对路径
+ */
+function coolDown(path: string): void {
+  cooled.delete(path)
+  cooled.set(path, Date.now() + WARM_COOLDOWN_MS)
+
+  while (cooled.size > WARM_COOLDOWN_CAP) {
+    const oldest = cooled.keys().next()
+    if (oldest.done) break
+
+    cooled.delete(oldest.value)
+  }
+}
+
+/**
+ * 结算一次预热：清 inFlight（仅当仍是自己那条）、按结果维护冷却。
+ * @author ddj 2026年10月20号
+ * @param path 工作区相对路径
+ * @param run 该次预热的 promise（用于识别是否已被更新的一次替换）
+ * @param ok 实现返回的成功与否
+ */
+function settleWarm(path: string, run: Promise<boolean>, ok: boolean): void {
+  if (inFlight.get(path) === run) inFlight.delete(path)
+  if (ok) {
+    cooled.delete(path)
+    return
+  }
+
+  coolDown(path)
+}
+// --endregion
+
+// --region 底层预热
+
+/**
+ * 启动一次底层预热：登记 inFlight、把实现异常折叠成 false（绝不向调用方抛）。
+ * @author ddj 2026年10月20号
+ * @param path 工作区相对路径
+ * @param fn 预热实现
+ * @returns 永不 reject 的布尔 promise（已登记到 inFlight）
+ */
+function startWarm(path: string, fn: WarmImpl): Promise<boolean> {
+  const run = Promise.resolve()
+    .then(() => fn(path))
+    .then(
+      (ok) => ok === true,
+      () => false,
+    )
+
+  inFlight.set(path, run)
+  run.then((ok) => settleWarm(path, run, ok))
+  return run
+}
+
+/**
+ * 给底层预热挂一个等待上限：超时只是本次调用放行，底层继续跑（仍可能建成 model
+ * 惠及下一次 hover），因此超时既不取消 promise，也不提前摘掉 inFlight。
+ * @author ddj 2026年10月20号
+ * @param path 工作区相对路径
+ * @param run 底层预热 promise（永不 reject）
+ * @returns 最多 WARM_TIMEOUT_MS 内结算的布尔结果
+ */
+function withTimeout(path: string, run: Promise<boolean>): Promise<boolean> {
+  return new Promise<boolean>((resolve) => {
+    let settled = false
+    let timer: ReturnType<typeof setTimeout> | null = null
+
+    const finish = (ok: boolean): void => {
+      if (settled) return
+
+      settled = true
+      if (timer) clearTimeout(timer)
+      resolve(ok)
+    }
+
+    timer = setTimeout(() => {
+      coolDown(path)
+      finish(false)
+    }, WARM_TIMEOUT_MS)
+
+    run.then(finish, () => finish(false))
+  })
+}
+// --endregion
+
+// --region 安装与卸载
+
+/**
+ * 安装预热实现（EditorView 挂载时调用；传 null 视同卸载）。
+ * @author ddj 2026年10月20号
+ * @param fn 预热实现，或 null 表示卸载
+ */
+export function setModelWarmer(fn: WarmImpl | null): void {
+  impl = typeof fn === 'function' ? fn : null
+  if (!impl) resetWarmerState()
+}
+
+/**
+ * 卸载预热实现：仅当传入的仍是当前实现才清（防卸载竞态误清新挂载的实现）。
+ * @author ddj 2026年10月20号
+ * @param fn 当初安装的实现
+ */
+export function clearModelWarmer(fn: WarmImpl): void {
+  if (impl !== fn) return
+
+  impl = null
+  resetWarmerState()
+}
+// --endregion
+
+// --region 预热调度
+
+/**
+ * 确保目标路径的 Monaco model 存在（供 hover 定义预览的 createModelReference 命中）。
+ *
+ * 降级语义：未安装实现（编辑器页签未挂载）、路径为空、处于失败冷却、实现失败或超时，
+ * 一律返回 false 且不抛异常——此时行为等价于修复前（预览不显示，但不再产生未捕获异常）。
+ * @author ddj 2026年10月20号
+ * @param path 工作区相对路径（或绝对路径，由实现决定如何解析）
+ * @returns 预热成功返回 true；被跳过/失败/超时返回 false
+ */
+export function warmModelFor(path: string): Promise<boolean> {
+  if (!path || !impl) return Promise.resolve(false)
+
+  const running = inFlight.get(path)
+  if (running) return withTimeout(path, running)
+  if (isCooling(path)) return Promise.resolve(false)
+
+  return withTimeout(path, startWarm(path, impl))
+}
+// --endregion

package/src/client/state/recordsFeed.ts

@@ -0,0 +1,241 @@
+/**
+ * dsh-vscode-mode client — 会话级差异记录共享订阅。
+ * 原先 DiffBadge / ConversationDiffDock / EditorView 各自 5s 轮询同一个
+ * `edrv.list`，同一会话一轮要打 3 次 RPC。本模块按会话收敛为单一定时器：
+ * 订阅者共享一次拉取，`edrv:refresh` 事件与主动刷新也走同一条通道。
+ * 作者 ddj 2026年10月19号
+ */
+import type { RecordView } from '../../shared/types.js'
+import { rpc } from '../rpc.js'
+
+/** 兜底轮询周期（毫秒）：仅作事件丢失时的兜底，正常由 edrv:refresh 驱动。 */
+export const FEED_INTERVAL_MS = 5000
+
+/** 记录变化回调。 */
+export type RecordsListener = (records: RecordView[]) => void
+
+/** 周期心跳回调（给只关心「该刷新了」的订阅者复用同一定时器）。 */
+export type TickListener = () => void
+
+/** 拉取失败回调。 */
+export type ErrorListener = (message: string) => void
+
+/** 单会话的共享订阅状态。 */
+interface FeedEntry {
+  records: RecordView[] | null
+  listeners: Set<RecordsListener>
+  tickers: Set<TickListener>
+  errorListeners: Set<ErrorListener>
+  timer: ReturnType<typeof setInterval> | null
+  onRefresh: (() => void) | null
+  seq: number
+  inflight: boolean
+}
+
+const feeds = new Map<string, FeedEntry>()
+
+/** 取全局 window（Node 测试环境无 window）。 */
+function win(): (Window & typeof globalThis) | undefined {
+  return typeof window === 'undefined' ? undefined : window
+}
+
+/**
+ * 取或建会话订阅槽位。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @returns 订阅槽位
+ */
+function entryOf(sessionId: string): FeedEntry {
+  let entry = feeds.get(sessionId)
+  if (!entry) {
+    entry = { records: null, listeners: new Set(), tickers: new Set(), errorListeners: new Set(), timer: null, onRefresh: null, seq: 0, inflight: false }
+    feeds.set(sessionId, entry)
+  }
+  return entry
+}
+
+/**
+ * 把最新记录分发给订阅者（快照相等时也分发，交由消费方自行比对）。
+ * @author ddj 2026年10月19号
+ * @param entry 订阅槽位
+ */
+function notifyRecords(entry: FeedEntry): void {
+  const snapshot = entry.records
+  if (!snapshot) return
+  for (const listener of Array.from(entry.listeners)) {
+    try {
+      listener(snapshot)
+    } catch {
+      // 单个订阅者异常不得影响其余订阅者。
+    }
+  }
+}
+
+/**
+ * 拉取一次该会话的差异记录。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @param skipStale 是否跳过过期判定（与 edrv.list 参数同名同义）
+ * @returns 拉取完成 Promise
+ */
+export function refreshFeed(sessionId: string, skipStale = false): Promise<void> {
+  const entry = entryOf(sessionId)
+  const current = ++entry.seq
+  entry.inflight = true
+  const payload: { sessionId: string; skipStale?: boolean } = { sessionId }
+  if (skipStale) payload.skipStale = true
+
+  return rpc('edrv.list', payload)
+    .then((res) => {
+      if (current !== entry.seq) return
+      if (!res || !res.ok || !Array.isArray(res.records)) return
+      entry.records = res.records as RecordView[]
+      notifyRecords(entry)
+    })
+    .catch((e) => {
+      // 拉取失败保留上一次快照，等下一轮心跳重试；同时把错误交给关心者（EditorView 报错条）。
+      if (current !== entry.seq) return
+      const message = String(e)
+      for (const listener of Array.from(entry.errorListeners)) {
+        try {
+          listener(message)
+        } catch {
+          // 单个错误订阅者异常不得影响其余订阅者。
+        }
+      }
+    })
+    .finally(() => {
+      if (current === entry.seq) entry.inflight = false
+    })
+}
+
+/**
+ * 确保该会话的定时器与 refresh 事件监听已就绪（首个订阅者到来时启动）。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @param entry 订阅槽位
+ */
+function ensureTimer(sessionId: string, entry: FeedEntry): void {
+  if (entry.timer === null) {
+    entry.timer = setInterval(() => {
+      const tickers = Array.from(entry.tickers)
+      for (const tick of tickers) {
+        try {
+          tick()
+        } catch {
+          // 心跳订阅者异常不得中断定时器。
+        }
+      }
+      // 只有存在记录/错误订阅者时才拉取记录；纯心跳订阅者（如体积徽章）不额外制造 RPC。
+      if (entry.listeners.size > 0 || entry.errorListeners.size > 0) void refreshFeed(sessionId)
+    }, FEED_INTERVAL_MS)
+  }
+  if (entry.onRefresh === null) {
+    const handler = () => {
+      void refreshFeed(sessionId)
+    }
+    const target = win()
+    if (target) target.addEventListener('edrv:refresh', handler)
+    entry.onRefresh = handler
+  }
+}
+
+/**
+ * 会话无任何订阅者时释放定时器、事件监听与缓存快照。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @param entry 订阅槽位
+ */
+function releaseIfIdle(sessionId: string, entry: FeedEntry): void {
+  if (entry.listeners.size || entry.tickers.size || entry.errorListeners.size) return
+  if (entry.timer !== null) clearInterval(entry.timer)
+  if (entry.onRefresh !== null) {
+    const target = win()
+    if (target) target.removeEventListener('edrv:refresh', entry.onRefresh)
+  }
+  feeds.delete(sessionId)
+}
+
+/**
+ * 订阅会话的差异记录。
+ * 首个订阅者触发一次立即拉取；同会话多订阅者共享一次 RPC。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @param listener 记录变化回调
+ * @returns 取消订阅函数
+ */
+export function subscribeRecords(sessionId: string, listener: RecordsListener): () => void {
+  const entry = entryOf(sessionId)
+  entry.listeners.add(listener)
+  ensureTimer(sessionId, entry)
+
+  if (entry.records) listener(entry.records)
+  else if (!entry.inflight) void refreshFeed(sessionId)
+
+  return () => {
+    entry.listeners.delete(listener)
+    releaseIfIdle(sessionId, entry)
+  }
+}
+
+/**
+ * 订阅会话的周期心跳（复用同一定时器，不额外制造定时器）。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @param listener 心跳回调
+ * @returns 取消订阅函数
+ */
+export function subscribeTick(sessionId: string, listener: TickListener): () => void {
+  const entry = entryOf(sessionId)
+  entry.tickers.add(listener)
+  ensureTimer(sessionId, entry)
+
+  return () => {
+    entry.tickers.delete(listener)
+    releaseIfIdle(sessionId, entry)
+  }
+}
+
+/**
+ * 订阅会话记录拉取失败（错误提示用；同样复用该会话的共享通道）。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @param listener 失败回调，参数为已字符串化的错误
+ * @returns 取消订阅函数
+ */
+export function subscribeErrors(sessionId: string, listener: ErrorListener): () => void {
+  const entry = entryOf(sessionId)
+  entry.errorListeners.add(listener)
+  ensureTimer(sessionId, entry)
+
+  return () => {
+    entry.errorListeners.delete(listener)
+    releaseIfIdle(sessionId, entry)
+  }
+}
+
+/**
+ * 读取会话的最近一次记录快照。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ * @returns 记录数组或 null（尚未拉到过）
+ */
+export function readRecords(sessionId: string): RecordView[] | null {
+  return feeds.get(sessionId)?.records ?? null
+}
+
+/**
+ * 主动丢弃会话的共享通道（会话销毁或测试复位用）。
+ * @author ddj 2026年10月19号
+ * @param sessionId 会话 id
+ */
+export function disposeFeed(sessionId: string): void {
+  const entry = feeds.get(sessionId)
+  if (!entry) return
+  if (entry.timer !== null) clearInterval(entry.timer)
+  if (entry.onRefresh !== null) {
+    const target = win()
+    if (target) target.removeEventListener('edrv:refresh', entry.onRefresh)
+  }
+  feeds.delete(sessionId)
+}

package/src/client/styles/editor.css

@@ -16,6 +16,11 @@
 /* 固定页签：📌 标记 + 免关闭按钮（固定页签不渲染 ×，仅可经右键菜单取消固定） */
 [data-edrv-view] .edrv-tab .edrv-tab-pin { flex-shrink: 0; font-size: 10px; line-height: 1; opacity: .85; }
 [data-edrv-view] .edrv-tab.edrv-tab-pinned { background: var(--dsw-alias-bg-layer-2, rgba(255,255,255,.04)); }
+/* 页签行 = 可横滚的页签区 + 行尾固定工具列（计划预览页签与磁盘页签同处这一行的滚动区）@author ddj 2026年10月20号 */
+[data-edrv-view] .edrv-tabs-row { display: flex; align-items: center; min-width: 0; flex: 0 0 auto; background: var(--dsw-alias-bg-layer-1, transparent); }
+/* 特异性需盖过下面 .edrv-group .edrv-tabs 的 flex: 0 0 auto，页签区才能吃掉行走宽、把工具列压到行尾 */
+[data-edrv-view] .edrv-group .edrv-tabs-row > .edrv-tabs { flex: 1 1 auto; min-width: 0; background: transparent; }
+[data-edrv-view] .edrv-tabs-tools { display: flex; align-items: center; gap: 2px; flex: 0 0 auto; padding: 0 6px 0 2px; }
 [data-edrv-view] .edrv-tab-add { display: inline-flex; align-items: center; justify-content: center; width: 24px; height: 24px; margin-left: 2px; border: none; border-radius: 6px; background: transparent; color: var(--dsw-alias-label-secondary, #aaa); font-size: 14px; cursor: pointer; flex-shrink: 0; }
 [data-edrv-view] .edrv-tab-add:hover { background: var(--dsw-alias-interactive-bg-hover, rgba(255,255,255,.06)); }
 [data-edrv-view] .edrv-pathbar { display: flex; align-items: center; gap: 8px; height: 26px; padding: 0 10px; background: var(--dsw-alias-bg-layer-1, #ffffff); border-bottom: 1px solid var(--dsw-alias-border-l1, #e0e6e8); font-size: 12px; flex-shrink: 0; overflow: hidden; }
@@ -988,7 +993,6 @@
 [data-edrv-view] .edrv-group { border: 0; }
 [data-edrv-view] .edrv-group .edrv-tabs { flex: 0 0 auto; touch-action: none; }
 [data-edrv-view] .edrv-group-tab-name { overflow: hidden; text-overflow: ellipsis; max-width: 180px; }
-[data-edrv-view] .edrv-workbench-tools { flex: 0 0 auto; }
 [data-edrv-view] .edrv-split { display: flex; flex: 1 1 auto; min-width: 0; min-height: 0; overflow: hidden; }
 [data-edrv-view] .edrv-split-vertical { flex-direction: column; }
 [data-edrv-view] .edrv-split-child { display: flex; min-width: 0; min-height: 0; overflow: hidden; }

package/src/client/ui/ConversationDiffDock.ts

@@ -2,12 +2,13 @@
 /**
  * dsh-vscode-mode client — 会话级差异 dock。
  * conversation.input.dock 是唯一实例：普通对话显示摘要，文件编辑页显示完整操作条。
+ * 轮询已收敛到 state/recordsFeed.ts 的会话级共享订阅，本组件不再自建定时器。
  * 作者 ddj 2026-08-26
  */
 import React from 'react'
-import { rpc } from '../rpc.js'
 import { openDiffView } from '../events.js'
 import { summarize } from '../state/records.js'
+import { subscribeRecords } from '../state/recordsFeed.js'
 import { nextDiffPath } from '../diffDock.js'
 import { dockInLayout, readDiffDock, subscribeDiffDock } from '../diffDockStore.js'
 import { DiffBox } from './DiffBox.js'
@@ -25,27 +26,17 @@ export function ConversationDiffDock(props) {
   const sessionId = props?.sessionId
   const [summary, setSummary] = React.useState(null)
   const [, setStoreRevision] = React.useState(0)
-  const seq = React.useRef(0)
-
-  const load = React.useCallback(() => {
-    if (!sessionId) return
-    const current = ++seq.current
-    rpc('edrv.list', { sessionId }).then((res) => {
-      if (current !== seq.current || !res || !res.ok || !Array.isArray(res.records)) return
-      setSummary(summarize(res.records))
-    }).catch(() => {})
-  }, [sessionId])
 
   React.useEffect(() => {
-    load()
-    const timer = setInterval(load, 5000)
-    const onRefresh = () => load()
-    window.addEventListener('edrv:refresh', onRefresh)
-    return () => {
-      clearInterval(timer)
-      window.removeEventListener('edrv:refresh', onRefresh)
+    if (!sessionId) {
+      setSummary(null)
+      return undefined
     }
-  }, [load])
+
+    return subscribeRecords(sessionId, (records) => {
+      setSummary(summarize(records))
+    })
+  }, [sessionId])
 
   React.useEffect(() => {
     if (!sessionId) return undefined

package/src/client/ui/DiffBadge.ts

@@ -1,39 +1,32 @@
 // @ts-nocheck
 /**
  * dsh-vscode-mode client — DiffBadge：header 差异角标（仅工作区有差异时显示）。
- * 迁移自原 src/client/index.ts 的 DiffBadge，语义不改。
+ * 轮询已收敛到 state/recordsFeed.ts 的会话级共享订阅，本组件不再自建定时器。
  * 作者 ddj 2026-08-20
  */
 import React from 'react'
 import { appUrl } from '../../shared/appUrl.js'
-import { rpc } from '../rpc.js'
 import { openEditorView, emitShowLauncher } from '../events.js'
 import { summarize } from '../state/records.js'
+import { subscribeRecords } from '../state/recordsFeed.js'
 
 /**
- * 会话 header 差异角标：5s 轮询 edrv.list，有差异时显示数字徽章，点击打开编辑区并拉起 DiffLauncher。
+ * 会话 header 差异角标：订阅会话差异记录，有差异时显示数字徽章，点击打开编辑区并拉起 DiffLauncher。
  */
 export function DiffBadge(props) {
   const sessionId = props?.sessionId
   const [summary, setSummary] = React.useState(null)
-  const seq = React.useRef(0)
-
-  const load = React.useCallback(() => {
-    if (!sessionId) return
-    const s = ++seq.current
-    rpc('edrv.list', { sessionId }).then((res) => {
-      if (s !== seq.current || !res || !res.ok || !Array.isArray(res.records)) return
-      setSummary(summarize(res.records))
-    }).catch(() => {})
-  }, [sessionId])
 
   React.useEffect(() => {
-    load()
-    const t = setInterval(load, 5000)
-    const onRefresh = () => load()
-    window.addEventListener('edrv:refresh', onRefresh)
-    return () => { clearInterval(t); window.removeEventListener('edrv:refresh', onRefresh) }
-  }, [load])
+    if (!sessionId) {
+      setSummary(null)
+      return undefined
+    }
+
+    return subscribeRecords(sessionId, (records) => {
+      setSummary(summarize(records))
+    })
+  }, [sessionId])
 
   const n = summary?.totalFiles ?? 0
   if (!n) return null

package/src/client/ui/EditorPane.ts

@@ -14,14 +14,24 @@ export interface PaneProps {
   onDrag(path: string, event: React.PointerEvent): void
   consumeClick(): boolean
   children?: React.ReactNode
+  /** @public @author ddj 2026年10月20号 Virtual preview tabs of this group's own strip: plans and files share one row. */
   extras?: React.ReactNode
+  /** @public @author ddj 2026年10月20号 Row controls pinned after the strip of the same row (never inside the scroller). */
+  tools?: React.ReactNode
+  /** @public @author ddj 2026年10月20号 Strip ref owned by the workbench (scroll-into-view and horizontal wheel). */
+  tabsRef?: React.Ref<HTMLDivElement>
+  /** @public @author ddj 2026年10月20号 Read-only plan preview owns this pane body, so no disk tab paints as active. */
+  suppressActive?: boolean
 }
 
 /** @public @author ddj 2026年10月14号 @param props Group callbacks and file view. @returns Accessible tab strip and drop target. */
 export function EditorPane(props: PaneProps): React.ReactElement {
   const { group } = props
-  /** @private @author ddj 2026年10月14号 @param tab File record. @returns Draggable tab with isolated close control. */
+  // 计划预览接管本组正文时，磁盘页签只保留可点击性，不再画选中态，避免同一可见区域出现两条下划线。
+  const suppressActive = props.suppressActive === true
+  /** @private @author ddj 2026年10月20号 @param tab File record. @returns Draggable tab with isolated close control. */
   function renderTab(tab: TabLike): React.ReactElement {
+    const selected = !suppressActive && tab.path === group.active
     /** @private @author ddj 2026年10月14号 @param event Primary press. Start trusted file drag. */
     function press(event: React.PointerEvent): void { props.onDrag(tab.path, event) }
     /** @private @author ddj 2026年10月14号 Select unless release completed a drag. */
@@ -35,8 +45,8 @@ export function EditorPane(props: PaneProps): React.ReactElement {
     /** @private @author ddj 2026年10月14号 @param event Keyboard activation. */
     function key(event: React.KeyboardEvent): void { if (event.key === 'Enter' || event.key === ' ') { event.preventDefault(); props.onSelect(group.id, tab.path) } }
     return React.createElement('div', {
-      key: tab.path, 'data-edrv-tab-path': tab.path, role: 'tab', tabIndex: 0, 'aria-selected': tab.path === group.active,
-      className: 'edrv-tab' + (tab.path === group.active ? ' edrv-tab-active' : '') + (tab.pinned ? ' edrv-tab-pinned' : ''),
+      key: tab.path, 'data-edrv-tab-path': tab.path, role: 'tab', tabIndex: 0, 'aria-selected': selected,
+      className: 'edrv-tab' + (selected ? ' edrv-tab-active' : '') + (tab.pinned ? ' edrv-tab-pinned' : ''),
       title: tab.path + (tab.pinned ? '（已固定）' : ''), onPointerDown: press, onClick: select, onContextMenu: menu, onKeyDown: key,
     }, tab.pinned ? React.createElement('span', { className: 'edrv-tab-pin' }, '📌') : null,
     React.createElement('span', { className: 'edrv-group-tab-name' }, tab.path.split(/[\\/]/).pop()),
@@ -48,7 +58,9 @@ export function EditorPane(props: PaneProps): React.ReactElement {
     if (!group.active && !props.focused && event.button === 0) props.onSelect(group.id)
   }
   return React.createElement('section', { className: 'edrv-group' + (props.focused ? ' edrv-group-focused' : ''), 'data-edrv-group': group.id, onPointerDown: focusEmpty },
-    React.createElement('div', { className: 'edrv-tabs', role: 'tablist', 'data-edrv-group-tabs': group.id }, group.tabs.map(renderTab), props.extras),
+    React.createElement('div', { className: 'edrv-tabs-row' },
+      React.createElement('div', { className: 'edrv-tabs', role: 'tablist', 'data-edrv-group-tabs': group.id, ref: props.tabsRef }, group.tabs.map(renderTab), props.extras),
+      props.tools),
     React.createElement('div', { className: 'edrv-group-body', role: 'tabpanel' }, props.children))
 }