dsh-vscode-mode 0.14.12 → 0.15.0

package/src/client/state/modelCache.ts

@@ -15,6 +15,13 @@ export const MODEL_CACHE_CAP = 40
 
 /** scope →（path → model）缓存表。 */
 const caches = new Map<string, Map<string, unknown>>()
+/** Open/dirty documents must not be evicted while another group is active. */
+const retained = new WeakMap<Map<string, unknown>, Set<string>>()
+
+/** @public @author ddj 2026年10月14号 @param map Workspace model cache. @param paths Open or otherwise unsafe documents. Protect models without changing ownership. */
+export function retainModels(map: Map<string, unknown>, paths: Iterable<string>): void {
+  retained.set(map, new Set(paths))
+}
 /** 当前激活作用域（切换时释放上一个）。 */
 let activeScope: string | null = null
 // --endregion
@@ -44,9 +51,12 @@ export function modelsForScope(scope: string): Map<string, unknown> {
   if (activeScope !== null && activeScope !== scope) {
     const prev = caches.get(activeScope)
     if (prev) {
-      for (const model of prev.values()) disposeIfFree(model)
-      prev.clear()
-      caches.delete(activeScope)
+      for (const [path, model] of prev) {
+        if (retained.get(prev)?.has(path) || isAttached(model)) continue
+        disposeIfFree(model)
+        prev.delete(path)
+      }
+      if (!prev.size) caches.delete(activeScope)
     }
   }
   activeScope = scope
@@ -67,10 +77,9 @@ export function rememberModel(map: Map<string, unknown>, path: string, model: un
   if (!path || !model) return
   map.delete(path)
   map.set(path, model)
-  while (map.size > MODEL_CACHE_CAP) {
-    const oldest = map.keys().next().value
-    if (oldest === undefined) break
-    const evicted = map.get(oldest)
+  for (const [oldest, evicted] of map) {
+    if (map.size <= MODEL_CACHE_CAP) break
+    if (retained.get(map)?.has(oldest) || isAttached(evicted)) continue
     map.delete(oldest)
     disposeIfFree(evicted)
   }

package/src/client/styles/editor.css

@@ -6,11 +6,12 @@
 [data-edrv-view] { box-sizing: border-box; --edrv-tab-h: 34px; }
 
 [data-edrv-view] .edrv-tabs { display: flex; align-items: center; gap: 2px; padding: 2px 8px 0; background: var(--dsw-alias-bg-layer-1, transparent); overflow-x: auto; overflow-y: hidden; scrollbar-width: thin; flex-shrink: 0; overscroll-behavior-x: contain; } /* overscroll-behavior-x: 横滚到边界不把滚动链传给页面（滚轮横滚接管更可控）@author ddj 2026年09月18号 */
-[data-edrv-view] .edrv-tab { display: inline-flex; align-items: center; gap: 6px; height: 28px; padding: 0 8px 0 12px; border: none; border-radius: 6px 6px 0 0; background: transparent; color: var(--dsw-alias-label-secondary, #aaa); font-size: 12px; cursor: pointer; white-space: nowrap; flex-shrink: 0; }
+[data-edrv-view] .edrv-tab { user-select: none; -webkit-user-select: none; display: inline-flex; align-items: center; gap: 6px; height: 28px; padding: 0 8px 0 12px; border: none; border-radius: 6px 6px 0 0; background: transparent; color: var(--dsw-alias-label-secondary, #aaa); font-size: 12px; cursor: pointer; white-space: nowrap; flex-shrink: 0; }
 [data-edrv-view] .edrv-tab:hover { background: var(--dsw-alias-interactive-bg-hover, rgba(255,255,255,.06)); }
 [data-edrv-view] .edrv-tab.edrv-tab-active { background: var(--dsw-alias-bg-base, #111); color: var(--dsw-alias-label-primary, #eee); box-shadow: inset 0 -2px 0 var(--dsw-alias-brand-primary, #4f8cff); }
 [data-edrv-view] .edrv-tab .edrv-tab-star { color: var(--dsw-alias-brand-primary, #4f8cff); font-size: 13px; font-weight: 700; line-height: 1; flex-shrink: 0; } /* 未保存修改星号 @author ddj 2026年09月09号 */
-[data-edrv-view] .edrv-tab .edrv-tab-x { display: inline-flex; align-items: center; justify-content: center; width: 16px; height: 16px; border-radius: 4px; color: var(--dsw-alias-label-tertiary, #888); font-size: 11px; }
+[data-edrv-view] .edrv-tab .edrv-tab-x { appearance: none; display: inline-flex; align-items: center; justify-content: center; flex: 0 0 16px; width: 16px; height: 16px; padding: 0; border: 0; border-radius: 4px; background: transparent; box-shadow: none; color: var(--dsw-alias-label-tertiary, #888); font-family: inherit; font-size: 11px; line-height: 1; cursor: pointer; }
+[data-edrv-view] .edrv-tab .edrv-tab-x:focus-visible { outline: 1px solid var(--dsw-alias-state-info-primary, #4d6bfe); outline-offset: 1px; }
 [data-edrv-view] .edrv-tab .edrv-tab-x:hover { background: var(--dsw-alias-interactive-bg-hover, rgba(255,255,255,.12)); color: var(--dsw-alias-label-primary, #eee); }
 /* 固定页签：📌 标记 + 免关闭按钮（固定页签不渲染 ×，仅可经右键菜单取消固定） */
 [data-edrv-view] .edrv-tab .edrv-tab-pin { flex-shrink: 0; font-size: 10px; line-height: 1; opacity: .85; }
@@ -971,4 +972,29 @@
 /* Alt 提示层：由 hoverTree 注入到 .monaco-hover（滚动区之外）贴底常驻；容器预留同高内边距避免遮挡末行。
    不再用 sticky / `:has()`：滚动链在 .monaco-hover-content 上，sticky 会被滚走。 */
 [data-edrv-view] .monaco-hover[data-edrv-hint-host="1"] { padding-bottom: 22px; }
-[data-edrv-view] [data-edrv-hint="1"] { position: absolute; left: 0; right: 0; bottom: 0; box-sizing: border-box; height: 22px; padding: 2px 8px; font-size: 11px; line-height: 18px; color: var(--dsw-alias-label-tertiary, #8a949b); background: var(--dsw-alias-bg-overlay, #ffffff); border-top: 1px solid var(--dsw-alias-border-l1, #e0e6e8); }
+[data-edrv-view] [data-edrv-hint="1"] { position: absolute; left: 0; right: 0; bottom: 0; box-sizing: border-box; height: 22px; padding: 2px 8px; font-size: 11px; line-height: 18px; color: var(--dsw-alias-label-tertiary, #8a949b); background: var(--dsw-alias-bg-overlay, #ffffff); border-top: 1px solid var(--dsw-alias-border-l1, #e0e6e8); }
+
+/* Workbench panes: existing theme, action-driven drop previews. ddj 2026年10月14号 */
+[data-edrv-view] .edrv-group, [data-edrv-view] .edrv-group-body,
+[data-edrv-view] .edrv-full-slot, [data-edrv-view] .edrv-full-view,
+[data-edrv-view] .edrv-passive-view { display: flex; flex-direction: column; flex: 1 1 auto; min-width: 0; min-height: 0; overflow: hidden; }
+[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; }
+[data-edrv-view] .edrv-split-handle { flex: 0 0 5px; background: var(--dsw-alias-border-l1, #e0e6e8); cursor: col-resize; touch-action: none; }
+[data-edrv-view] .edrv-split-vertical > .edrv-split-handle { cursor: row-resize; }
+[data-edrv-view] .edrv-split-handle:hover, [data-edrv-view] .edrv-split-handle:focus-visible { background: var(--dsw-alias-state-info-primary, #4d6bfe); }
+[data-edrv-view].edrv-floating { position: fixed; display: flex; flex-direction: column; overflow: hidden; box-sizing: border-box; border: 1px solid var(--dsw-alias-border-l2, #cdd6da); background: var(--dsw-alias-bg-base, #fff); color: var(--dsw-alias-label-primary, #1f2933); box-shadow: 0 8px 28px rgba(0,0,0,.22); }
+[data-edrv-view] .edrv-floating-title { display: flex; align-items: center; gap: 8px; flex: 0 0 32px; padding: 0 8px; background: var(--dsw-alias-bg-layer-1, #f7f9fa); cursor: move; touch-action: none; user-select: none; }
+[data-edrv-view] .edrv-floating-title > span { flex: 1; }
+[data-edrv-view] .edrv-floating-title > button { border: 0; background: transparent; color: inherit; cursor: pointer; }
+[data-edrv-view] .edrv-floating-grip { position: absolute; width: 16px; height: 16px; bottom: 0; right: 0; cursor: nwse-resize; touch-action: none; border-right: 3px solid var(--dsw-alias-border-l2, #cdd6da); border-bottom: 3px solid var(--dsw-alias-border-l2, #cdd6da); }
+.edrv-drag-overlay { position: fixed; z-index: 150; pointer-events: none; box-sizing: border-box; border: 0; background: color-mix(in srgb, var(--dsw-alias-state-info-primary, #4d6bfe) 25%, transparent); }
+.edrv-drop-label, .edrv-drag-ghost { position: fixed; z-index: 151; pointer-events: none; padding: 4px 8px; background: var(--dsw-alias-bg-overlay, #fff); color: var(--dsw-alias-label-primary, #1f2933); border: 1px solid var(--dsw-alias-border-l2, #cdd6da); font-size: 12px; white-space: nowrap; }
+.edrv-drop-label { position: absolute; left: 4px; top: 4px; }
+[data-edrv-view] .edrv-tab:focus-visible { outline: 2px solid var(--dsw-alias-state-info-primary, #4d6bfe); outline-offset: -2px; }
+@media (prefers-reduced-motion: reduce) { .edrv-drag-overlay { transition: none; } }

package/src/client/tabDrag.ts

@@ -0,0 +1,137 @@
+/** Internal pointer drag: never converts external text into file paths. @author ddj 2026年10月14号 */
+import { clampFloat, type DropTarget, type Edge } from './state/editorLayout.js'
+
+export interface Rect { left: number; top: number; width: number; height: number }
+export interface Point { x: number; y: number }
+export type TabDrop = DropTarget | { kind: 'reference' }
+export interface HitRegion { group: string; rect: Rect; tabs?: { path: string; rect: Rect }[]; tabRect?: Rect; floating?: boolean }
+export interface DragHitInput {
+  point: Point
+  viewport: { width: number; height: number }
+  composer?: Rect | null
+  regions: HitRegion[]
+  blank: boolean
+  allowCreate: boolean
+}
+export interface DragPreview { path: string; point: Point; target: TabDrop | null; rect: Rect | null; label: string }
+
+/** @public @author ddj 2026年10月14号 @param point Pointer position. @param rect View bounds. @returns Containment. */
+export function contains(point: Point, rect: Rect): boolean {
+  return point.x >= rect.left && point.x <= rect.left + rect.width && point.y >= rect.top && point.y <= rect.top + rect.height
+}
+
+/** @public @author ddj 2026年10月14号 @param from Press origin. @param to Current pointer. @returns Whether movement exceeds the drag threshold. */
+export function dragStarted(from: Point, to: Point): boolean { return Math.hypot(from.x - to.x, from.y - to.y) >= 6 }
+
+/** @public @author ddj 2026年10月14号 @param point Pointer. @param rect Editor bounds. @returns Nearest edge in a 22% band, or null. */
+export function edgeAt(point: Point, rect: Rect): Edge | null {
+  const x = (point.x - rect.left) / rect.width, y = (point.y - rect.top) / rect.height
+  const distances: [Edge, number][] = [['left', x], ['right', 1 - x], ['top', y], ['bottom', 1 - y]]
+  distances.sort((a, b) => a[1] - b[1])
+  return distances[0]![1] < 0.22 ? distances[0]![0] : null
+}
+
+/** @public @author ddj 2026年10月14号 @param rect Editor bounds. @param edge Split direction. @returns Preview half rectangle. */
+export function splitRect(rect: Rect, edge: Edge): Rect {
+  const { left, top, width, height } = rect
+  if (edge === 'left' || edge === 'right') return { left: left + (edge === 'right' ? width / 2 : 0), top, width: width / 2, height }
+  return { left, top: top + (edge === 'bottom' ? height / 2 : 0), width, height: height / 2 }
+}
+
+/** @public @author ddj 2026年10月14号 @param input Trusted geometry and blank classification. @returns Drop proposal; no state is mutated. */
+export function hitTarget(input: DragHitInput): { target: TabDrop; rect: Rect; label: string } | null {
+  const { point, viewport, composer, regions } = input
+  if (!contains(point, { left: 0, top: 0, ...viewport })) return null
+  if (composer && contains(point, composer)) return { target: { kind: 'reference' }, rect: composer, label: '添加文件引用（不发送）' }
+  for (const region of regions) {
+    if (!contains(point, region.rect)) continue
+    if (region.tabRect && contains(point, region.tabRect)) {
+      const tabs = region.tabs ?? []
+      const index = tabs.findIndex((tab) => point.x < tab.rect.left + tab.rect.width / 2)
+      const at = index < 0 ? tabs.length : index
+      const left = tabs[at]?.rect.left ?? (tabs.length ? tabs[tabs.length - 1]!.rect.left + tabs[tabs.length - 1]!.rect.width : region.tabRect.left)
+      return { target: { kind: 'group', group: region.group, index: at }, rect: { left, top: region.tabRect.top, width: 3, height: region.tabRect.height }, label: '移动到此处' }
+    }
+    const edge = edgeAt(point, region.rect)
+    const fits = edge === 'left' || edge === 'right' ? region.rect.width >= 480 : region.rect.height >= 320
+    if (edge && !region.floating && input.allowCreate && fits) return { target: { kind: 'split', group: region.group, edge }, rect: splitRect(region.rect, edge), label: '分屏编辑' }
+    return { target: { kind: 'group', group: region.group }, rect: region.rect, label: '移入编辑组' }
+  }
+  if (!input.blank || !input.allowCreate) return null
+  const rect = clampFloat({ left: point.x - 120, top: point.y - 18, width: 600, height: 400 }, viewport.width, viewport.height)
+  return { target: { kind: 'float', rect }, rect, label: '独立浮窗' }
+}
+
+export interface DragDeps {
+  hit(point: Point): ReturnType<typeof hitTarget>
+  preview(value: DragPreview | null): void
+  drop(path: string, target: TabDrop): void
+}
+
+/** @public @author ddj 2026年10月14号 @param deps DOM geometry/readback callbacks. @param host Browser window. @returns Single internal drag controller with cleanup. */
+export function createTabDrag(deps: DragDeps, host: Window) {
+  let session: { path: string; origin: Point; point: Point; pointerId: number; dragging: boolean; capture: Element | null } | null = null
+  let frame: number | null = null
+  let suppressClick = false
+
+  /** @private @author ddj 2026年10月14号 Render only once per animation frame. */
+  function paint(): void {
+    frame = null
+    if (!session?.dragging) return
+    const hit = deps.hit(session.point)
+    // DOMRect properties live on its prototype; React style needs own enumerable geometry.
+    const rect = hit ? { left: hit.rect.left, top: hit.rect.top, width: hit.rect.width, height: hit.rect.height } : null
+    deps.preview({ path: session.path, point: session.point, target: hit?.target ?? null, rect, label: hit?.label ?? '无法放置' })
+  }
+  /** @public @author ddj 2026年10月14号 Cancel without changing file/layout ownership. */
+  function cancel(): void {
+    if (frame !== null) host.cancelAnimationFrame(frame)
+    frame = null
+    const previous = session
+    session = null
+    if (previous?.dragging) suppressClick = true
+    try { previous?.capture?.releasePointerCapture(previous.pointerId) } catch { /* Pointer may already be released. */ }
+    host.removeEventListener('pointermove', move, true)
+    host.removeEventListener('pointerup', up, true)
+    host.removeEventListener('pointercancel', cancel, true)
+    host.removeEventListener('keydown', key, true)
+    host.removeEventListener('blur', cancel)
+    deps.preview(null)
+  }
+  /** @private @author ddj 2026年10月14号 @param event Pointer move. Update geometry, not layout. */
+  function move(event: PointerEvent): void {
+    if (!session || event.pointerId !== session.pointerId) return
+    session.point = { x: event.clientX, y: event.clientY }
+    session.dragging ||= dragStarted(session.origin, session.point)
+    if (!session.dragging) return
+    event.preventDefault()
+    if (frame === null) frame = host.requestAnimationFrame(paint)
+  }
+  /** @private @author ddj 2026年10月14号 @param event Pointer release. Commit only a currently valid drop. */
+  function up(event: PointerEvent): void {
+    if (!session || event.pointerId !== session.pointerId) return
+    const previous = session
+    const hit = previous.dragging ? deps.hit({ x: event.clientX, y: event.clientY }) : null
+    cancel()
+    if (hit) deps.drop(previous.path, hit.target)
+  }
+  /** @private @author ddj 2026年10月14号 @param event Keyboard event. Escape cancels this drag only. */
+  function key(event: KeyboardEvent): void { if (event.key === 'Escape' && session) { event.preventDefault(); event.stopPropagation(); cancel() } }
+  /** @public @author ddj 2026年10月14号 @param path Trusted disk tab. @param event Primary pointer press. Start observation, not a move. */
+  function start(path: string, event: PointerEvent): void {
+    if (event.button !== 0 || !event.isPrimary || !path) return
+    cancel()
+    suppressClick = false
+    const origin = { x: event.clientX, y: event.clientY }
+    session = { path, origin, point: origin, pointerId: event.pointerId, dragging: false, capture: event.currentTarget instanceof Element ? event.currentTarget : null }
+    try { session.capture?.setPointerCapture(event.pointerId) } catch { /* Global listeners cover older platforms. */ }
+    host.addEventListener('pointermove', move, true)
+    host.addEventListener('pointerup', up, true)
+    host.addEventListener('pointercancel', cancel, true)
+    host.addEventListener('keydown', key, true)
+    host.addEventListener('blur', cancel)
+  }
+  /** @public @author ddj 2026年10月14号 @returns Whether to consume the synthetic post-drag click. */
+  function consumeClick(): boolean { const result = suppressClick; suppressClick = false; return result }
+  return { start, cancel, consumeClick }
+}

package/src/client/tabMenu.ts

@@ -4,8 +4,8 @@
  * EditorView 只把结果映射成 ContextMenu 的 entries 并派发动作。
  *
  * 与参考图（VS Code / CodeBuddy 页签右键菜单）的对齐口径：
- * 保留其分组顺序（对话 / 关闭族 / 路径 / 定位 / 固定），**省略**本架构无法实现的
- * 「向右拆分 / Split & Move / 移动到新窗口 / 复制到新窗口」（浏览器内单编辑器实例）。
+ * 保留其分组顺序（对话 / 关闭族 / 分组 / 路径 / 定位 / 固定）。
+ * 分屏与页面内浮窗由 workbench 能力显式控制，不伪造系统窗口或复制编辑器能力。
  * 只显示**真实已绑定**的键位；参考图里的两步弦（Ctrl+K W 等）引擎不支持，故不伪造。
  *
  * 「固定 = 保护」：关闭其他 / 关闭右侧 / 关闭已保存 / 全部关闭 一律不关固定页签，
@@ -44,6 +44,10 @@ export interface TabMenuState {
   svnStatusOfTarget?: SvnItemStatus
   /** 「关闭」项的键位提示（缺省无提示；由调用方读 chordOf 注入）。 */
   closeChord?: string | null
+  /** Real workbench capabilities; omitted for legacy consumers. */
+  canSplit?: boolean
+  canFloat?: boolean
+  canReturn?: boolean
 }
 
 /** 一条页签菜单项（ContextMenu 的展示形状 + 动作 id）。 */
@@ -62,7 +66,7 @@ export interface TabMenuEntry {
 export const CLOSE_MENU_IDS = ['close', 'close-others', 'close-right', 'close-saved', 'close-all'] as const
 
 /** 本架构不支持的条目 id（参考图有、浏览器单编辑器实例无法实现）——显式登记以防误加。 */
-export const UNSUPPORTED_MENU_IDS = ['split-right', 'split-move', 'move-new-window', 'copy-new-window'] as const
+export const UNSUPPORTED_MENU_IDS = ['split-move', 'copy-new-window'] as const
 
 /**
  * 构建 SVN 组条目（动作清单来自 shared/svnActions.ts，与树菜单/命令栏同一份规则）。
@@ -123,6 +127,14 @@ export function buildTabMenu(state: TabMenuState): TabMenuEntry[] {
     { id: 'close-right', label: '关闭右侧标签页', disabled: nothingToClose(closeRight(tabs, path, active), tabs) },
     { id: 'close-saved', label: '关闭已保存', disabled: nothingToClose(closeSaved(tabs, dirty, active), tabs) },
     { id: 'close-all', label: '全部关闭', disabled: nothingToClose(closeAll(tabs, active), tabs) },
+    ...(state.canSplit !== undefined ? [
+      { id: 'split-left', label: '向左分屏', separator: true, disabled: !state.canSplit },
+      { id: 'split-right', label: '向右分屏', disabled: !state.canSplit },
+      { id: 'split-top', label: '向上分屏', disabled: !state.canSplit },
+      { id: 'split-bottom', label: '向下分屏', disabled: !state.canSplit },
+      { id: 'move-new-window', label: '移到页面内浮窗', disabled: !state.canFloat },
+      { id: 'return-main', label: '移回主编辑区', disabled: !state.canReturn },
+    ] : []),
     { id: 'copy-path', label: '复制路径', separator: true },
     { id: 'copy-relative-path', label: '复制相对路径', disabled: !hasCwd(cwd) },
     { id: 'reveal-in-os', label: '在文件资源管理器中显示', separator: true, disabled: !hasSession },

package/src/client/ui/EditorPane.ts

@@ -0,0 +1,130 @@
+/** Independent group views; workbench owns documents, saves and commands. @author ddj 2026年10月14号 */
+import React from 'react'
+import { createViewKeeper, type ViewEditor } from '../state/editorViewState.js'
+import type { Group } from '../state/editorLayout.js'
+import type { TabLike } from '../tabActions.js'
+
+export interface PaneProps {
+  group: Group
+  focused: boolean
+  dirty: Record<string, boolean>
+  onSelect(group: string, path?: string): void
+  onClose(path: string): void
+  onMenu(path: string, event: React.MouseEvent): void
+  onDrag(path: string, event: React.PointerEvent): void
+  consumeClick(): boolean
+  children?: React.ReactNode
+  extras?: React.ReactNode
+}
+
+/** @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. */
+  function renderTab(tab: TabLike): React.ReactElement {
+    /** @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. */
+    function select(): void { if (!props.consumeClick()) props.onSelect(group.id, tab.path) }
+    /** @private @author ddj 2026年10月14号 @param event Context event. Open file actions. */
+    function menu(event: React.MouseEvent): void { event.preventDefault(); event.stopPropagation(); props.onMenu(tab.path, event) }
+    /** @private @author ddj 2026年10月14号 @param event Close activation. Never select tab. */
+    function close(event: React.MouseEvent): void { event.stopPropagation(); props.onClose(tab.path) }
+    /** @private @author ddj 2026年10月14号 @param event Close press. Never start a drag. */
+    function stop(event: React.PointerEvent): void { event.stopPropagation() }
+    /** @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' : ''),
+      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()),
+    props.dirty[tab.path] ? React.createElement('span', { className: 'edrv-tab-star', title: '未保存修改' }, '*') : null,
+    tab.pinned ? null : React.createElement('button', { className: 'edrv-tab-x', type: 'button', 'aria-label': '关闭 ' + tab.path, title: '关闭', onPointerDown: stop, onClick: close }, '×'))
+  }
+  /** @private @author ddj 2026年10月14号 @param event Group background press. Allow an empty main group to receive new files. */
+  function focusEmpty(event: React.PointerEvent): void {
+    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-group-body', role: 'tabpanel' }, props.children))
+}
+
+/** @public @author ddj 2026年10月14号 @param editor View instance. @param scope Workspace. @param path Canonical path. @param model Shared content. @returns Keeper whose disposal never disposes the model. */
+export function bindPaneView(editor: ViewEditor, scope: string, path: string, model: unknown) {
+  const keeper = createViewKeeper(editor)
+  keeper.bind(scope, path, model)
+  return keeper
+}
+
+export interface PassiveProps {
+  path: string | null
+  mount(host: HTMLDivElement, path: string): (() => void) | undefined
+}
+
+/** @public @author ddj 2026年10月14号 @param props Workbench-owned mounting contract. @returns Independent visible file view without global command listeners. */
+export function PassiveEditor(props: PassiveProps): React.ReactElement {
+  const host = React.useRef<HTMLDivElement>(null)
+  React.useLayoutEffect(() => {
+    if (host.current && props.path) return props.mount(host.current, props.path)
+  }, [props.path, props.mount])
+  return React.createElement('div', { ref: host, className: 'edrv-passive-view' })
+}
+
+export interface SplitProps {
+  axis: 'horizontal' | 'vertical'
+  ratio: number
+  onRatio(ratio: number): void
+  first: React.ReactNode
+  second: React.ReactNode
+}
+
+/** @public @author ddj 2026年10月14号 @param props Split geometry. @returns Resizable split with keyboard equivalents. */
+export function EditorSplit(props: SplitProps): React.ReactElement {
+  const host = React.useRef<HTMLDivElement>(null)
+  const clean = React.useRef<(() => void) | null>(null)
+  const latest = React.useRef(props)
+  latest.current = props
+  React.useEffect(() => () => clean.current?.(), [])
+  /** @private @author ddj 2026年10月14号 @param event Separator press. Resize only this branch. */
+  function start(event: React.PointerEvent): void {
+    if (event.button !== 0 || !host.current) return
+    clean.current?.()
+    event.preventDefault()
+    const rect = host.current.getBoundingClientRect(), pointer = event.pointerId
+    /** @private @author ddj 2026年10月14号 @param value Pointer movement. Keep both leaves usable. */
+    function move(value: PointerEvent): void {
+      if (value.pointerId !== pointer) return
+      const horizontal = latest.current.axis === 'horizontal'
+      const size = horizontal ? rect.width : rect.height
+      const min = Math.min(0.45, (horizontal ? 240 : 160) / size)
+      const at = horizontal ? value.clientX - rect.left : value.clientY - rect.top
+      latest.current.onRatio(Math.max(min, Math.min(1 - min, at / size)))
+    }
+    /** @private @author ddj 2026年10月14号 Remove resize listeners. */
+    function stop(): void {
+      window.removeEventListener('pointermove', move)
+      window.removeEventListener('pointerup', stop)
+      window.removeEventListener('pointercancel', stop)
+      window.removeEventListener('blur', stop)
+      clean.current = null
+    }
+    clean.current = stop
+    window.addEventListener('pointermove', move)
+    window.addEventListener('pointerup', stop)
+    window.addEventListener('pointercancel', stop)
+    window.addEventListener('blur', stop)
+  }
+  /** @private @author ddj 2026年10月14号 @param event Keyboard resizing. Arrow keys change ratio. */
+  function key(event: React.KeyboardEvent): void {
+    if (!['ArrowLeft', 'ArrowRight', 'ArrowUp', 'ArrowDown'].includes(event.key)) return
+    event.preventDefault()
+    props.onRatio(Math.max(0.1, Math.min(0.9, props.ratio + (event.key === 'ArrowLeft' || event.key === 'ArrowUp' ? -0.05 : 0.05))))
+  }
+  return React.createElement('div', { ref: host, className: 'edrv-split edrv-split-' + props.axis },
+    React.createElement('div', { className: 'edrv-split-child', style: { flex: props.ratio } }, props.first),
+    React.createElement('div', { className: 'edrv-split-handle', role: 'separator', tabIndex: 0, 'aria-orientation': props.axis === 'horizontal' ? 'vertical' : 'horizontal', 'aria-valuenow': Math.round(props.ratio * 100), 'aria-valuemin': 10, 'aria-valuemax': 90, onPointerDown: start, onKeyDown: key }),
+    React.createElement('div', { className: 'edrv-split-child', style: { flex: 1 - props.ratio } }, props.second))
+}