dsh-vscode-mode 0.14.13 → 0.15.2

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