dsh-vscode-mode 0.17.0 → 0.19.0

package/src/client/textPages.ts

@@ -0,0 +1,135 @@
+import { TEXT_PAGE_BYTES, TEXT_VIEW_BYTES, TEXT_VIEW_LINES } from '../shared/textPages.js'
+import type { TextPageArgs, TextPageResult } from '../shared/textPages.js'
+
+export interface TextPagerState {
+  text: string
+  loading: boolean
+  eof: boolean
+  capped: boolean
+  error: string | null
+  offset: number
+  size: number
+  lines: number
+  partialLine: boolean
+}
+export type TextPageLoader = (args: TextPageArgs) => Promise<TextPageResult>
+
+/**
+ * Own one preview identity and one in-flight request; no polling or automatic continuation.
+ * @public @author ddj 2026年10月22号
+ * @param load Authorized RPC loader. @param changed Snapshot observer.
+ * @returns Pager lifecycle and explicit load controls.
+ */
+export function createTextPager(load: TextPageLoader, changed: (state: TextPagerState) => void) {
+  let generation = 0
+  let disposed = false
+  let target: TextPageArgs | null = null
+  let cursor: string | undefined
+  let version: string | undefined
+  let inFlight = false
+  let retainedBytes = 0
+  let state = emptyState()
+
+  /** @private @author ddj 2026年10月22号 @returns Publish immutable snapshot. */
+  function publish(): void { changed({ ...state }) }
+
+  /** @public @author ddj 2026年10月22号 @param args New file/session identity. @returns Reset state; old responses are ignored. */
+  function reset(args: TextPageArgs): void {
+    generation++
+    target = { sessionId: args.sessionId, path: args.path }
+    cursor = undefined
+    version = undefined
+    retainedBytes = 0
+    state = emptyState()
+    state.loading = inFlight
+    if (!disposed) publish()
+  }
+
+  /** @public @author ddj 2026年10月22号 @returns Explicitly load one page, or no-op when busy/finished. */
+  async function loadNext(): Promise<void> {
+    if (disposed || !target || inFlight || state.eof || state.capped) return
+    state.error = null
+    const requestGeneration = generation
+    const request = { ...target, cursor }
+    inFlight = true
+    state.loading = true
+    publish()
+
+    try {
+      const page = await load(request)
+      if (disposed || requestGeneration !== generation) return
+      if (!page.ok) { state.error = page.error; return }
+      if (!validPage(page, state.offset, version)) { state.error = 'Invalid or stale text page'; return }
+      appendPage(page)
+    } catch (error) {
+      if (!disposed && requestGeneration === generation) state.error = String(error)
+    } finally {
+      inFlight = false
+      if (!disposed) { state.loading = false; publish() }
+    }
+  }
+
+  /** @private @author ddj 2026年10月22号 @param page Verified page. @returns Append only within byte/line limits. */
+  function appendPage(page: Extract<TextPageResult, { ok: true }>): void {
+    let text = page.text
+    const encoded = new TextEncoder().encode(text)
+    const remaining = TEXT_VIEW_BYTES - retainedBytes
+    if (encoded.length > remaining) {
+      // A UTF-8 suffix may straddle the cap; never retain a replacement character.
+      let end = remaining
+      while (end > 0 && (encoded[end]! & 0xc0) === 0x80) end--
+      text = new TextDecoder('utf-8', { fatal: true }).decode(encoded.subarray(0, end))
+      state.capped = true
+    }
+    let lines = state.lines
+    for (let index = 0; index < text.length; index++) {
+      if (text[index] !== '\n' && (text[index] !== '\r' || text[index + 1] === '\n')) continue
+      if (lines >= TEXT_VIEW_LINES) {
+        const end = text[index] === '\n' && text[index - 1] === '\r' ? index - 1 : index
+        text = text.slice(0, end); state.capped = true; break
+      }
+      lines++
+    }
+    retainedBytes += new TextEncoder().encode(text).length
+    state.text += text
+    state.lines = lines
+    state.offset = page.offset
+    state.size = page.size
+    state.eof = page.eof
+    state.partialLine = page.partialLine || state.capped
+    state.capped ||= page.offset >= TEXT_VIEW_BYTES || retainedBytes >= TEXT_VIEW_BYTES || lines >= TEXT_VIEW_LINES
+    version = page.version
+    cursor = page.nextCursor ?? undefined
+  }
+
+  /** @public @author ddj 2026年10月22号 @returns Invalidate identity while retaining the transport lock. */
+  function invalidate(): void { generation++; target = null; state = emptyState() }
+
+  /** @public @author ddj 2026年10月22号 @returns Invalidate pending responses and release preview content. */
+  function dispose(): void { disposed = true; invalidate() }
+
+  return { reset, loadNext, invalidate, dispose, getState: () => ({ ...state }) }
+}
+
+/** @private @author ddj 2026年10月22号 @returns Empty bounded preview state. */
+function emptyState(): TextPagerState {
+  return { text: '', loading: false, eof: false, capped: false, error: null, offset: 0, size: 0, lines: 1, partialLine: false }
+}
+
+/**
+ * Validate the RPC envelope before retaining any content.
+ * @private @author ddj 2026年10月22号
+ * @param page Server page. @param offset Previous byte position. @param version Bound version.
+ * @returns Whether bounds and continuation invariants hold.
+ */
+function validPage(page: Extract<TextPageResult, { ok: true }>, offset: number, version?: string): boolean {
+  return typeof page.text === 'string' && typeof page.version === 'string'
+    && (version === undefined || version === page.version)
+    && Number.isSafeInteger(page.offset) && Number.isSafeInteger(page.size)
+    && page.size >= 0 && page.offset >= offset && page.offset <= page.size
+    && (page.offset > offset || page.eof) && page.offset - offset <= TEXT_PAGE_BYTES
+    && new TextEncoder().encode(page.text).length <= TEXT_PAGE_BYTES + 1
+    && page.encoding === 'utf-8' && typeof page.partialLine === 'boolean'
+    && typeof page.eof === 'boolean' && (page.eof ? page.nextCursor === null : typeof page.nextCursor === 'string' && page.nextCursor.length > 0)
+    && (page.eof === (page.offset === page.size))
+}

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))
 }
 

package/src/client/ui/EditorView.ts

@@ -9,8 +9,10 @@
  */
 import React from 'react'
 import { createPortal } from 'react-dom'
+import { createRoot } from 'react-dom/client'
 import { EditorPane, EditorSplit, PassiveEditor, GroupPathbar } from './EditorPane.js'
 import { FloatingEditor } from './FloatingEditor.js'
+import { LargeTextView } from './LargeTextView.js'
 import { FloatingWindow } from './FloatingWindow.js'
 import { createLayout, parseLayout, syncTabs, ownerOf, focusGroup, moveTab, returnGroup, GROUP_LIMIT, MAIN_GROUP } from '../state/editorLayout.js'
 import { createTabDrag, hitTarget } from '../tabDrag.js'
@@ -68,6 +70,7 @@ import { mdPreviewLoad, mdPreviewSave } from '../state/mdPreviewCache.js'
 import { onUiStateReady, reportUiStateEvent, uiStateSettled } from '../state/uiStatePersist.js'
 import { migrateScopedKeys, workspaceScopeOf } from '../state/scopeStore.js'
 import { modelsForScope, rememberModel, retainModels } from '../state/modelCache.js'
+import { clearModelWarmer, setModelWarmer } from '../state/modelWarmer.js'
 import { navFlashRangeOf } from '../navHighlight.js'
 import { chordOf, useKeybindingsVersion } from '../keybindings.js'
 import { getSidebarMinWidth } from '../sidebarMin.js'
@@ -260,6 +263,8 @@ export function EditorView(props) {
   const planActiveRef = React.useRef(null)
   planActiveRef.current = planActive
   const planHostRef = React.useRef(null)
+  // 进入只读计划预览前的磁盘选中页签，关闭该计划页签时恢复，避免跳到第一个页签。
+  const planReturnRef = React.useRef(null)
   React.useEffect(() => { setPlanTabs([]); setPlanActive(null) }, [sessionId, cwd])
   /** @private @author ddj 2026年10月08号 @param path Disk tab selection. Leave read-only plan mode before any disk navigation. */
   function setActive(path) {
@@ -271,6 +276,10 @@ export function EditorView(props) {
   const [layoutScope, setLayoutScope] = React.useState(null)
   const benchRef = React.useRef(workbench)
   benchRef.current = workbench
+  // 页签行归属的分组：焦点落在浮窗时行仍留在页面主组上（浮窗自带标题栏），与 renderGroup 同一判据。
+  // 行节点会随焦点在分组间迁移，绑定滚轮/滚入视野的 effect 必须跟着这个归属重跑。
+  const rowOnFloat = workbench.floats.some((item) => item.group === workbench.focused)
+  const rowOwner = rowOnFloat ? MAIN_GROUP : workbench.focused
   const [dragPreview, setDragPreview] = React.useState(null)
   const dragRef = React.useRef(null)
   const benchOps = React.useRef(null)
@@ -311,6 +320,11 @@ export function EditorView(props) {
   const aiStatusTimer = React.useRef(null)
   const [error, setError] = React.useState(null)
   const [loadError, setLoadError] = React.useState(null)
+  const [largeCandidate, setLargeCandidate] = React.useState(null)
+  const [pagedFile, setPagedFile] = React.useState(null)
+  const [pageChanged, setPageChanged] = React.useState(null)
+  const pageIdentity = JSON.stringify([scope, sessionId, active])
+  const paging = pagedFile === pageIdentity
   const [loadStage, setLoadStage] = React.useState({ progress: 0, message: '准备加载编辑器…' })
   const [openInput, setOpenInput] = React.useState(false)
   const [pathDraft, setPathDraft] = React.useState('')
@@ -1006,6 +1020,9 @@ export function EditorView(props) {
     const seq = ++loadSeqRef.current
     setReceiptLoad({ path, cwd, sessionId: sid, sequence: seq, status: 'loading' })
     setLoadError(null)
+    setLargeCandidate(null)
+    setPagedFile(null)
+    setPageChanged(null)
     /**
      * 记下磁盘版本基线；markRead=true 表示本次真的从磁盘读了内容
      * （已读版本台账随之失效，下一轮轮询按新版本重新比对）。
@@ -1057,6 +1074,7 @@ export function EditorView(props) {
         setLoadStage((prev) => ({ progress: Math.max(84, prev.progress), message: '文件已读取，准备创建编辑器…' }))
         setStatus('已加载')
       } else {
+        if (res?.code === 'file-too-large') setLargeCandidate(JSON.stringify([scope, sid, path]))
         const base = res?.error ? String(res.error) : '读取失败'
         dapTrace('read-failed', { path, error: base, resolvedPath: res?.resolvedPath, cwd })
         // 带出 host 解析后的真实路径：跳转失败时一眼看出是路径解析错还是目标不存在
@@ -1215,7 +1233,7 @@ export function EditorView(props) {
    * @author ddj 2026年09月15号
    * @param change 轮询判定出的外部变更
    */
-  const onDiskChange = (change) => {
+  function onDiskChange(change) {
     if (!change || !change.path) return
     // 文件树同步：目录缓存按该路径失效并强制重列（外部新增/删除/改名都能看到）
     const eventId = emitFileChanged(change.path, { scope, kind: change.kind === 'deleted' ? 'structure' : 'text' })
@@ -1235,6 +1253,14 @@ export function EditorView(props) {
       }).catch(() => {})
       return
     }
+    if (change.kind === 'modified' && (paging || pageChanged === pageIdentity) && change.path === activeRef.current) {
+      // Invalidates the old page cursor immediately; retain an identity-scoped notice until explicit reread.
+      loadContent(change.path, sessionId, true)
+      setPageChanged(pageIdentity)
+      setStatus('文件已变化，请重新读取')
+      emitRefresh({ scope, paths: [change.path], kind: 'text', eventId })
+      return
+    }
     if (change.kind === 'modified') {
       // 干净缓冲：强制从磁盘重读（跳过 model 复用），差异标记随之重算
       loadContent(change.path, sessionId, true)
@@ -1257,7 +1283,10 @@ export function EditorView(props) {
    * @param path 文件路径
    * @returns 比对结果；模型不可用/读失败 → null（按「需要重载」处理）
    */
-  const readDiskCompare = (path) => {
+  function readDiskCompare(path) {
+    // A read-only page has no full Monaco buffer to compare. Acknowledge the observed
+    // version as changed so polling advances its baseline instead of invalidating every reread.
+    if (path === activeRef.current && (paging || pageChanged === pageIdentity)) return Promise.resolve({ equal: false })
     const model = modelsRef.current?.get(path)
     if (!model || typeof model.getValue !== 'function') return Promise.resolve(null)
     return rpc('edrv.read', { sessionId, path }).then((res) => {
@@ -1853,11 +1882,11 @@ export function EditorView(props) {
     const right = left + el.offsetWidth
     if (left < host.scrollLeft) host.scrollLeft = left
     else if (right > host.scrollLeft + host.clientWidth) host.scrollLeft = right - host.clientWidth
-  }, [active, tabs.length])
+  }, [active, planActive, planTabs.length, tabs.length, rowOwner])
 
   // 页签栏滚轮横向滚动（需求 3）：页签栏溢出时，鼠标滚轮（含触控板纵向手势）横滚页签栏，
   // 不溢出时不接管（保持页面垂直滚动）；Shift+滚轮交由浏览器原生横滚。详见 horizontalWheel.ts。
-  React.useEffect(() => attachHorizontalWheel(tabsHostRef.current), [])
+  React.useEffect(() => attachHorizontalWheel(tabsHostRef.current), [rowOwner])
 
   // 鼠标侧键后退/前进：Logitech 官方默认「后退/前进」= XButton 鼠标事件（button 3/4），不产生键盘事件。
   // pointerdown 触发导航（preventDefault 后兼容 mousedown 可能不再触发，避免双触发）；
@@ -2065,6 +2094,42 @@ export function EditorView(props) {
     return model
   }
 
+  const warmRef = React.useRef(null)
+  /**
+   * 让目标文件的 Monaco model 存在（预热入口，供 Ctrl+hover 定义链接预览）。
+   *
+   * 为什么需要：Monaco 在渲染定义链接的源码预览时对目标 uri 调 `createModelReference`
+   * 后只挂 then、没有 catch；本插件的定义目标是自造 `edrv://` uri，目标文件若从未打开过
+   * 就没有已注册 model，会 reject("Model not found") 成为未捕获异常（见 state/modelWarmer.ts）。
+   * 已缓存的路径直接返回成功：模型已在 Monaco 注册表里，无需再读盘。
+   * 预热出的 model 走 modelsRef 常规 LRU（40 条、未附着超限被 dispose）；正式打开该文件时
+   * 由 loadContent 的 cached-model 分支 + checkCached 后台校验接管，不会显示陈旧内容。
+   * @private
+   * @author ddj 2026年10月20号
+   * @param path 工作区相对路径
+   * @returns 模型是否已存在/成功建出（失败一律 false，绝不抛）
+   */
+  warmRef.current = (path) => {
+    if (!path) return Promise.resolve(false)
+    if (modelsRef.current.get(path)) return Promise.resolve(true)
+    // 图片/PDF 不建文本 model（各自走预览控件），预热对它们没有意义
+    if (isImagePath(path) || isPdfPath(path)) return Promise.resolve(false)
+    const sid = sessionId
+    if (!sid) return Promise.resolve(false)
+
+    return rpc('edrv.read', { sessionId: sid, path }).then((res) => {
+      if (!res?.ok || typeof res.content !== 'string') return false
+      getModel(path, res.content)
+      return true
+    }).catch(() => false)
+  }
+  // 预热实现随挂载安装、卸载移除：编辑器未挂载时 warmModelFor 直接返回 false（退化为修复前行为）
+  React.useEffect(() => {
+    const warmImpl = (path) => warmRef.current?.(path) ?? Promise.resolve(false)
+    setModelWarmer(warmImpl)
+    return () => clearModelWarmer(warmImpl)
+  }, [])
+
   /**
    * 提交待执行的防抖保存（**真正执行保存**，不是取消）。
    * 语义与缺陷背景见 saveDebounce.ts：`schedule` 的返回值是只 clearTimeout 的 disposer，
@@ -3595,6 +3660,7 @@ export function EditorView(props) {
     if (!document) return
     flushSave()
     saveViewState(active)
+    if (!planActiveRef.current) planReturnRef.current = active
     setDiskActive(null)
     setPlanTabs((prev) => [...prev.filter((item) => item.address !== document.address), document].slice(-32))
     setPlanActive(document.address)
@@ -3605,7 +3671,10 @@ export function EditorView(props) {
   function closePlan(address, event) {
     event?.stopPropagation()
     setPlanTabs((prev) => prev.filter((item) => item.address !== address))
-    if (planActiveRef.current === address) setActive(tabsRef.current[0]?.path ?? null)
+    if (planActiveRef.current !== address) return
+    const previous = planReturnRef.current
+    planReturnRef.current = null
+    setActive(tabsRef.current.some((tab) => tab.path === previous) ? previous : (tabsRef.current[0]?.path ?? null))
   }
   /** @private @author ddj 2026年10月08号 @param request Claimed disk or virtual open. Flushes saves without replacing dirty models. */
   function openReceiptFile(request) {
@@ -3717,7 +3786,8 @@ export function EditorView(props) {
     }
   }, [])
 
-  const openPath = () => {
+  /** @private @author ddj 2026年10月22号 @description Probe a typed path; let oversized files enter the existing read-only paging flow. @returns Probe completion. */
+  function openPath() {
     const p = (pathDraft || '').trim()
     if (!p) return
     // 图片/PDF 文件跳过文本读探测（二进制会被 host 拒绝），直接进 tab 由专用预览接管
@@ -3727,8 +3797,9 @@ export function EditorView(props) {
       return
     }
     setStatus('打开中…')
-    rpc('edrv.read', { sessionId, path: p }).then((res) => {
-      if (res && res.ok) {
+    return rpc('edrv.read', { sessionId, path: p }).then((res) => {
+      // Only the explicit size-limit response may bypass the probe; other failures must remain visible.
+      if (res && (res.ok || res.code === 'file-too-large')) {
         openFile(p, false)
         setOpenInput(false); setPathDraft(''); setStatus('已打开'); setError(null)
       } else { setStatus('打开失败'); setError(res?.error ? String(res.error) : '打开失败') }
@@ -3860,9 +3931,19 @@ export function EditorView(props) {
     host.addEventListener('contextmenu', onCtx, true)
     return () => { unsubscribeBp?.(); host.removeEventListener('contextmenu', onCtx) }
   }
+  /** @private @author ddj 2026年10月22号 @param args Read-only page request. @returns Current Host capability result. */
+  function loadTextPage(args) { return rpc('edrv.textPage', args) }
+  /** @private @author ddj 2026年10月22号 @description Never replace a dirty or saving document with partial text. */
+  function openTextPages() {
+    if (largeCandidate !== pageIdentity || dirtyRef.current[active] || savingRef.current.has(active)) return
+    flushSave()
+    if (dirtyRef.current[active] || savingRef.current.has(active)) return
+    setPageChanged(null)
+    setPagedFile(pageIdentity)
+  }
   /** @private @author ddj 2026年10月16号 @param host Passive body. @param path Canonical file. @param groupId Owning group id（find 快照按组隔离）. @returns View-only cleanup, models remain workbench-owned. */
   function mountPassive(host, path, groupId) {
-    let disposed = false, keeper = null, subscription = null, observer = null, unbindGutter = null
+    let disposed = false, keeper = null, subscription = null, observer = null, unbindGutter = null, pageRoot = null
     const focus = () => { const owner = ownerOf(benchRef.current, path); if (owner) selectGroup(owner.id, path) }
     host.addEventListener('pointerdown', focus)
     if (isPdfPath(path) && pdfNodes.current.has(path)) {
@@ -3876,7 +3957,27 @@ export function EditorView(props) {
     void request.then((result) => {
       if (disposed) return
       host.textContent = ''
-      if (!result?.ok) { host.textContent = result?.error || '文件加载失败'; return }
+      if (!result?.ok) {
+        host.textContent = result?.error || '文件加载失败'
+        if (result?.code === 'file-too-large' && !binary) {
+          const button = document.createElement('button')
+          button.textContent = '只读分段查看'
+          /** @author ddj 2026年10月22号 @param event Pointer event. @description Do not focus and unmount the passive group before click. */
+          button.onpointerdown = (event) => event.stopPropagation()
+          /** @author ddj 2026年10月22号 @description Keep partial text out of passive models, autosave and editing commands. */
+          button.onclick = () => {
+            if (disposed || dirtyRef.current[path] || savingRef.current.has(path)) return
+            flushSave()
+            if (dirtyRef.current[path] || savingRef.current.has(path)) return
+            host.textContent = ''
+            host.removeEventListener('pointerdown', focus)
+            pageRoot = createRoot(host)
+            pageRoot.render(React.createElement(LargeTextView, { sessionId, path, loadPage: loadTextPage }))
+          }
+          host.appendChild(button)
+        }
+        return
+      }
       if (binary) {
         const image = document.createElement(isPdfPath(path) ? 'div' : 'img')
         if (isPdfPath(path)) image.textContent = 'PDF · 点击此编辑组继续查看和编辑'
@@ -3901,7 +4002,7 @@ export function EditorView(props) {
       observer = new ResizeObserver(() => editor.layout())
       observer.observe(host)
     }).catch((failure) => { if (!disposed) host.textContent = '文件加载失败：' + String(failure) })
-    return () => { disposed = true; host.removeEventListener('pointerdown', focus); unbindGutter?.(); observer?.disconnect(); subscription?.dispose(); keeper?.dispose(); paneEditors.current.delete(path) }
+    return () => { disposed = true; pageRoot?.unmount(); host.removeEventListener('pointerdown', focus); unbindGutter?.(); observer?.disconnect(); subscription?.dispose(); keeper?.dispose(); paneEditors.current.delete(path) }
   }
   const passiveOps = React.useRef(mountPassive)
   passiveOps.current = mountPassive
@@ -3916,14 +4017,20 @@ export function EditorView(props) {
     setWorkbench((current) => ({ ...current, tree: replace(current.tree) }))
   }
   /** @private @author ddj 2026年10月14号 @param id Leaf id. @returns Tabs and either focused full-feature editor or independent passive view. */
-  function renderGroup(id) {
+  function renderGroup(id, floating) {
     const group = workbench.groups.find((item) => item.id === id)
     if (!group) return null
     const focused = id === workbench.focused
-    return React.createElement(EditorPane, { key: id, group, focused, dirty: dirtyMap, onSelect: selectGroup, onClose: closeTab, onMenu: paneMenu, onDrag: dragTab, consumeClick: consumeDrag },
+    // 同一行：计划预览页签并入该组自己的页签行（extras），与磁盘页签共用一条滚动区，
+    // 页面工具列固定在行尾（滚动区之外，横滚不带走）。焦点落在浮窗时，这一行仍留在页面分组上，
+    // 避免整条工具栏跟着搬进浮窗；页签缓存 ref 只认页面上的这条行。
+    const chrome = !floating && id === rowOwner
+    // 计划预览占用的正文只会在焦点组里；承载页签行的组同时收起磁盘选中态，保证整屏只有计划页签一条下划线。
+    const hideDiskActive = Boolean(planActive) && (chrome || focused)
+    return React.createElement(EditorPane, { key: id, group, focused, dirty: dirtyMap, suppressActive: hideDiskActive, tabsRef: chrome ? tabsHostRef : undefined, extras: chrome ? planTabExtras : undefined, tools: chrome ? rowTools : undefined, onSelect: selectGroup, onClose: closeTab, onMenu: paneMenu, onDrag: dragTab, consumeClick: consumeDrag },
       focused ? React.createElement('div', { className: 'edrv-full-slot', ref: mountFull }) : React.createElement(React.Fragment, null,
         React.createElement(GroupPathbar, { path: group.active, onFocus: () => selectGroup(id) }),
-        React.createElement(PassiveEditor, { key: String(scope) + ':' + group.active, path: group.active, groupId: id, mount: passiveMount })))
+        React.createElement(PassiveEditor, { key: JSON.stringify([scope, sessionId, group.active]), path: group.active, groupId: id, mount: passiveMount })))
   }
   /** @private @author ddj 2026年10月14号 @param node Layout subtree. @returns Recursive resizable panes. */
   function renderTree(node) {
@@ -3932,15 +4039,18 @@ export function EditorView(props) {
   }
   // --endregion
 
-  const tabsEl = React.createElement('div', { className: 'edrv-tabs', ref: tabsHostRef, style: { flex: '1 1 auto', minWidth: 0 } },
-    planTabs.map((plan) => React.createElement('div', {
-      key: plan.address, className: 'edrv-tab' + (plan.address === planActive ? ' edrv-tab-active' : ''),
+  // 计划预览页签不再是独立一行的工具条：它作为焦点分组页签行的尾部内容（EditorPane 的 extras）渲染，
+  // 与磁盘页签同处一条滚动区，因此整块工作台只有一行页签。
+  const planTabExtras = planTabs.length
+    ? planTabs.map((plan) => React.createElement('div', {
+      key: plan.address, className: 'edrv-tab edrv-tab-plan' + (plan.address === planActive ? ' edrv-tab-active' : ''),
       title: plan.title + '（计划预览 · 只读）', onClick: () => openPlanDoc(plan),
-    }, React.createElement('span', { style: { overflow: 'hidden', textOverflow: 'ellipsis', maxWidth: 180 } }, plan.title),
-    React.createElement('span', { className: 'edrv-tab-x', title: '关闭', onClick: (event) => closePlan(plan.address, event) }, '×'))),
-    (openInput
-      ? React.createElement('input', { className: 'edrv-path-input', autoFocus: true, placeholder: '输入工作区相对/绝对路径，回车打开', value: pathDraft, onChange: (e) => setPathDraft(e.target.value), onKeyDown: (e) => { if (e.key === 'Enter') openPath(); if (e.key === 'Escape') setOpenInput(false) } })
-      : React.createElement('button', { className: 'edrv-tab-add', title: '打开文件（输入路径）', onClick: () => setOpenInput(true) }, '+')))
+    }, React.createElement('span', { className: 'edrv-group-tab-name' }, plan.title),
+    React.createElement('span', { className: 'edrv-tab-x', title: '关闭', onClick: (event) => closePlan(plan.address, event) }, '×')))
+    : null
+  const openControl = openInput
+    ? React.createElement('input', { className: 'edrv-path-input', autoFocus: true, placeholder: '输入工作区相对/绝对路径，回车打开', value: pathDraft, onChange: (e) => setPathDraft(e.target.value), onKeyDown: (e) => { if (e.key === 'Enter') openPath(); if (e.key === 'Escape') setOpenInput(false) } })
+    : React.createElement('button', { className: 'edrv-tab-add', title: '打开文件（输入路径）', onClick: () => setOpenInput(true) }, '+')
 
   const activePlan = planTabs.find((plan) => plan.address === planActive)
   const pathBar = activePlan ? React.createElement('div', { className: 'edrv-pathbar', title: activePlan.address },
@@ -4022,8 +4132,9 @@ export function EditorView(props) {
   const navBackTarget = navRef.current.peekBack()
   const navForwardTarget = navRef.current.peekForward()
   const navNameOf = (entry) => (entry && entry.path ? String(entry.path).split(/[\\/]/).pop() : '')
-  const tabRow = React.createElement('div', { style: { display: 'flex', alignItems: 'center', background: 'var(--dsw-alias-bg-layer-1,transparent)', flexShrink: 0 } },
-    tabsEl,
+  // 行尾固定工具列：位于焦点分组页签行的滚动区右侧，横滚页签时不跟着滚走。
+  const rowTools = React.createElement('div', { className: 'edrv-tabs-tools' },
+    openControl,
     (sum.totalFiles > 0
       ? React.createElement('button', { className: 'edrv-diffchip', title: '打开差异总览/归档', onClick: () => setLauncherOpen((o) => !o) }, '⚠ 差异 ' + sum.totalFiles + ' 文件')
       : null),
@@ -4119,6 +4230,12 @@ export function EditorView(props) {
       : React.createElement('pre', { className: 'edrv-mdview-pre' }, text)
     body = React.createElement('div', { className: 'edrv-mdview', ref: planHostRef, 'data-plan-address': activePlan.address },
       React.createElement('div', { className: 'edrv-mdview-stage' }, React.createElement('div', { className: 'edrv-mdview-doc' }, render)))
+  } else if (pageChanged === pageIdentity && largeCandidate === pageIdentity) {
+    body = React.createElement('div', { className: 'edrv-empty', role: 'status' },
+      React.createElement('div', null, '文件已变化，请重新读取'),
+      React.createElement('button', { className: 'edrv-pill edrv-pill-ghost', onClick: openTextPages }, '重新读取首段'))
+  } else if (paging) {
+    body = React.createElement(LargeTextView, { key: pageIdentity, sessionId, path: active, loadPage: loadTextPage })
   } else if (!monaco && !monacoErr) {
     body = loadingBody(loadStage.message, loadStage.progress)
   } else if (monacoErr) {
@@ -4143,13 +4260,13 @@ export function EditorView(props) {
         loadContent(active, sessionId)
       } }, '重试'))
   } else if (content === null && loadError) {
-    body = loadingBody('文件加载失败：' + loadError, 0, () => {
+    body = React.createElement(React.Fragment, null, loadingBody('文件加载失败：' + loadError, 0, () => {
       setLoadError(null)
       setContent(null)
       setContentPath(null)
       setLoadStage({ progress: 10, message: '重新读取文件…' })
       loadContent(active, sessionId)
-    })
+    }), largeCandidate === pageIdentity && React.createElement('button', { className: 'edrv-pill edrv-pill-ghost', onClick: openTextPages }, '只读分段查看'))
   } else if (isImageActive && imageSrc) {
     body = imagePanel()
   } else if (isImageActive) {
@@ -4441,7 +4558,8 @@ export function EditorView(props) {
         'data-edrv-diff-dock-shell': '1',
       }, React.createElement(DiffBox, { ...dockSnapshot, dock: true }))
     : null
-  // 主编辑列（侧边栏右侧）：pathBar + tabRow + 编辑/差异区。
+  // 编辑区容器：pathBar 和页签行现在都由焦点分组自己渲染，这里只放编辑正文与各种浮层。
+
   const editorArea = React.createElement('div', { className: 'edrv-editor-area' },
     dapBar,
     addCfgBtn,
@@ -4466,11 +4584,11 @@ export function EditorView(props) {
     : null
   // 底部状态栏共用一整条：挂在 mainCol 层级（所有分组之下），不随焦点分组搬家（ddj 2026-10-16）
   const fullView = createPortal(React.createElement(React.Fragment, null, pathBar, sideHintEl, diskBanner(), editorArea), fullHost, 'edrv-full-editor')
+  // 页签行已并入焦点分组自身（EditorPane 内一行），不再有独立的顶部工具条。
   const mainCol = React.createElement('div', { className: 'edrv-main-col edrv-workbench', style: { flex: 1, minWidth: 0, minHeight: 0, display: 'flex', flexDirection: 'column', overflow: 'hidden' } },
-    React.createElement('div', { className: 'edrv-workbench-tools' }, tabRow),
     renderTree(workbench.tree), fullView,
     statusBar,
-    workbench.floats.map((item, layer) => React.createElement(FloatingEditor, { key: item.group, owner: String(scope), group: item.group, rect: item, layer, focused: item.group === workbench.focused, onBounds: floatBounds, onFocus: selectGroup, onReturn: returnPane }, renderGroup(item.group))),
+    workbench.floats.map((item, layer) => React.createElement(FloatingEditor, { key: item.group, owner: String(scope), group: item.group, rect: item, layer, focused: item.group === workbench.focused, onBounds: floatBounds, onFocus: selectGroup, onReturn: returnPane }, renderGroup(item.group, true))),
     dragPreview ? createPortal(React.createElement(React.Fragment, null,
       dragPreview.rect ? React.createElement('div', { className: 'edrv-drag-overlay', style: dragPreview.rect }, React.createElement('span', { className: 'edrv-drop-label' }, dragPreview.label)) : null,
       React.createElement('div', { className: 'edrv-drag-ghost', style: { left: dragPreview.point.x + 12, top: dragPreview.point.y + 12 } }, baseNameOf(dragPreview.path) + ' · ' + dragPreview.label)), document.body) : null)