dsh-vscode-mode 0.1.36 → 0.1.42

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-vscode-mode",
-  "version": "0.1.36",
+  "version": "0.1.42",
   "description": "DSH 上的类 VSCode 编码体验：Monaco 编辑器（文件页签/QuickOpen/状态栏，可驻 dsh-better-sidebar 侧边栏与对话同屏）+ Agent 编辑差异审查（整文件差异/采纳/拒绝/归档/回滚）+ 语言服务器（LSP）智能（跳转定义/引用/hover/大纲 + VSIX 扩展市场安装），状态持久化到工作区旁车",
   "keywords": [
     "dsh",

package/src/client/monaco/loader.ts

@@ -4,6 +4,7 @@
  * 迁移自原 src/client/index.ts 的 MONACO_BASE/LANG_BY_EXT/langOf/loadMonaco，语义不改。
  * 作者 ddj 2026-08-20
  */
+import { applyTheme, registerThemes } from './theme.js'
 
 export const MONACO_BASE = '/edrv/vendor/monaco/vs'
 let monacoPromise = null
@@ -58,7 +59,12 @@ export const LANG_BY_EXT = {
   py: 'python', sh: 'shell', bash: 'shell', zsh: 'shell', ps1: 'powershell',
   lua: 'lua', java: 'java', c: 'c', h: 'c', cpp: 'cpp', cc: 'cpp', cxx: 'cpp', hpp: 'cpp',
   cs: 'csharp', go: 'go', rs: 'rust', rb: 'ruby', php: 'php', sql: 'sql',
-  swift: 'swift', kt: 'kotlin', kts: 'kotlin', dart: 'dart', dockerfile: 'dockerfile'
+  swift: 'swift', kt: 'kotlin', kts: 'kotlin', dart: 'dart', dockerfile: 'dockerfile',
+  // 工程/配置文件（拿到正确语法分色，而非 plaintext）
+  csproj: 'xml', props: 'xml', targets: 'xml', plist: 'xml',
+  lua51: 'lua', luac: 'lua',
+  gitattributes: 'ini', editorconfig: 'ini', env: 'ini', properties: 'ini',
+  json5: 'jsonc', log: 'plaintext', txt: 'plaintext',
 }
 
 /**
@@ -96,6 +102,11 @@ export function loadMonaco(onProgress) {
           publishStage('core', MONACO_STAGES.core.progress, MONACO_STAGES.core.message)
           window.require(['vs/editor/editor.main'], () => {
             publishStage('ready', MONACO_STAGES.ready.progress, MONACO_STAGES.ready.message)
+            // 分色主题注册 + 应用（rich token 配色，替掉内置基础 vs 的少层次着色）
+            try {
+              registerThemes(window.monaco)
+              applyTheme(window.monaco)
+            } catch (error) { /* 主题失败不阻塞编辑器 */ }
             resolve(window.monaco)
           }, (err) => fail(new Error('Monaco 模块加载失败：' + String(err))))
         } catch (error) {

package/src/client/monaco/lsp/lspClient.ts

@@ -113,6 +113,14 @@ export async function fetchHover(path, text, position) {
   return res.hover || null
 }
 
+/** 查询当前文档的 semantic tokens（host 已归一化 legend 与 delta data）。 */
+export async function fetchSemanticTokens(path, text) {
+  await syncDoc(path, text, true)
+  const res = await rpc('edrv.lsp.semanticTokens', { sessionId, path }).catch(() => null)
+  if (!res || !res.ok || !res.tokens || !Array.isArray(res.tokens.data)) return null
+  return res.tokens
+}
+
 /** 拉取服务器状态（带 5s 缓存）。 */
 export async function refreshStatus(force = false) {
   if (!force && Date.now() - statusCache.at < 1500) return statusCache.servers
@@ -148,6 +156,10 @@ function toClientLocation(loc) {
       Math.max(1, (end.line ?? 0) + 1),
       Math.max(1, (end.character ?? 0) + 1),
     ),
+    // 保留原始 LSP uri/root：后续跳转不能把 Monaco edrv Uri 当作磁盘路径
+    lspUri: loc.uri,
+    lspRoot: loc.root,
+    lspRange: loc.range,
   }
 }
 
@@ -161,32 +173,74 @@ export function toEdrvUri(uri, root) {
 
 /** 将 LSP 目标解析为当前工作区相对路径（跨文件跳转与 model URI 对齐）。 */
 export function targetOpenPath(loc) {
-  return relativeLspPath(loc?.uri, loc?.root)
+  return relativeLspPath(loc?.lspUri ?? loc?.uri, loc?.lspRoot ?? loc?.root)
 }
 
-/** file URI/裸路径 → root 下的 / 分隔相对路径；root 不匹配时保留规范化绝对路径。 */
-function relativeLspPath(uri, root) {
+/**
+ * 归一化 Location 的 uri → 工作区路径（剥离 scheme，不补盘符）。
+ * 三种输入形态（缺一即导致 scheme 泄漏进文件路径 → 跳转"文件不存在"）：
+ * - Monaco Uri 对象（toClientLocation 产物，scheme=edrv）→ 取 .path（已是工作区相对路径）
+ * - 'edrv:///x' 字符串 → 取路径部分
+ * - 'file:///D:/x' → 去 authority 空段保留盘符
+ * @author ddj 2026年08月28号
+ * @param uri Monaco Uri 对象 / file:// 或 edrv:// URI / 裸路径
+ * @returns / 分隔的路径（edrv 相对路径 或 带盘符绝对路径）
+ */
+export function lspUriToAbs(uri) {
   if (!uri) return ''
-  let path = String(uri)
+  const isObject = typeof uri === 'object'
+  // Monaco Uri 对象：优先取其 path（已剥离 scheme）
+  const raw = isObject && typeof uri.path === 'string' ? uri.path : String(uri)
+  let path = raw
   if (path.startsWith('file://')) {
-    try { path = decodeURIComponent(path.replace(/^file:\/\//, '')) } catch (error) { path = path.replace(/^file:\/\//, '') }
+    try { path = decodeURIComponent(path.replace(/^file:\/\/\/?/, '')) } catch (error) { path = path.replace(/^file:\/\/\/?/, '') }
+    // file:///D:/x → D:/x（去 authority 空段保留盘符）；/home/x 保留前导 /（Unix 绝对路径）
+    return path.replace(/\\/g, '/').replace(/^\/([A-Za-z]:)/, '$1')
+  }
+  if (path.startsWith('edrv://')) {
+    try { path = decodeURIComponent(path.replace(/^edrv:\/\/\/?/, '')) } catch (error) { path = path.replace(/^edrv:\/\/\/?/, '') }
   }
-  path = path.replace(/\\/g, '/').replace(/^\/([A-Za-z]:)/, '$1')
+  // edrv Uri（对象或字符串）→ 工作区相对路径：必须剥前导 /，否则 host 按绝对路径解析丢 cwd
+  if (isObject ? uri.scheme === 'edrv' : raw.startsWith('edrv://')) {
+    return path.replace(/\\/g, '/').replace(/^\/+/, '')
+  }
+  return path.replace(/\\/g, '/').replace(/^\/([A-Za-z]:)/, '$1')
+}
+
+/**
+ * file URI/裸路径 → root 下的 / 分隔相对路径。
+ * root 匹配返回工作区相对路径；root 不匹配返回完整绝对路径（保留盘符），
+ * 供 edrv.read 按绝对路径解析（原先错误剥掉首个 / 导致跳转"文件不存在"）。
+ * @author ddj 2026年08月28号
+ * @param uri file:// URI 或裸路径
+ * @param root 工作区根（可选）
+ * @returns 可 edrv.read 的路径
+ */
+function relativeLspPath(uri, root) {
+  if (!uri) return ''
+  const path = lspUriToAbs(uri)
   const normalizedRoot = root ? String(root).replace(/\\/g, '/').replace(/^\/([A-Za-z]:)/, '$1').replace(/\/+$/, '') : ''
   const lowerPath = path.toLowerCase()
   const lowerRoot = normalizedRoot.toLowerCase()
   if (normalizedRoot && (lowerPath === lowerRoot || lowerPath.startsWith(lowerRoot + '/'))) {
     return path.slice(normalizedRoot.length).replace(/^\/+/, '')
   }
-  return path.replace(/^\/+/, '')
+  return path
 }
 
 /** 目标行/列（0-based LSP → 1-based Monaco）。 */
 export function targetMonoPosition(loc) {
-  const range = loc.range || {}
-  const start = range.start || {}
+  // 优先使用原始 LSP range（0-based）；无原始值时兼容 Monaco Range（1-based）
+  const lspRange = loc?.lspRange
+  if (lspRange?.start) {
+    return {
+      line: Math.max(1, (lspRange.start.line ?? 0) + 1),
+      column: Math.max(1, (lspRange.start.character ?? 0) + 1),
+    }
+  }
+  const range = loc?.range ?? {}
   return {
-    line: Math.max(1, (start.line ?? 0) + 1),
-    column: Math.max(1, (start.character ?? 0) + 1),
+    line: Math.max(1, range.startLineNumber ?? 1),
+    column: Math.max(1, range.startColumn ?? 1),
   }
 }

package/src/client/monaco/lsp/providers.ts

@@ -8,10 +8,16 @@
  */
 import {
   pathOfModel, syncDoc, closeDoc, findDefinition, findReferences,
-  fetchDocumentSymbols, fetchHover, targetOpenPath, targetMonoPosition, lspStatusFor,
+  fetchDocumentSymbols, fetchHover, fetchSemanticTokens,
+  targetOpenPath, targetMonoPosition, lspStatusFor, refreshStatus,
 } from './lspClient.js'
+import { LSP_SEMANTIC_TOKEN_MODIFIERS, LSP_SEMANTIC_TOKEN_TYPES } from '../../../shared/lsp.js'
 
 const LSP_LANGS = ['lua', 'csharp']
+const SEMANTIC_LEGEND = {
+  tokenTypes: [...LSP_SEMANTIC_TOKEN_TYPES],
+  tokenModifiers: [...LSP_SEMANTIC_TOKEN_MODIFIERS],
+}
 let registered = false
 const disposables = []
 let overlayEl = null
@@ -48,6 +54,22 @@ export function registerLspProviders(monaco) {
   disposables.push(monaco.editor.onDidCreateModel(attachModel))
   for (const model of monaco.editor.getModels()) attachModel(model)
 
+  // —— 重新检测事件：保存配置/切换启用/手动重检测后，把已打开模型重新同步给 host ——
+  // （host 已重置该语言 server，下一次 sync 会按最新配置重新 acquire，无需重开文件）
+  const onRedetect = (event) => {
+    const languageId = event?.detail?.languageId
+    if (!languageId) return
+    for (const model of monaco.editor.getModels()) {
+      const path = pathOfModel(model)
+      if (!path) continue
+      if (model.getLanguageId && model.getLanguageId() !== languageId) continue
+      void syncDoc(path, model.getValue(), true)
+    }
+    void refreshStatus(true)
+  }
+  window.addEventListener('edrv:lsp-redetect', onRedetect)
+  disposables.push(() => window.removeEventListener('edrv:lsp-redetect', onRedetect))
+
   // —— 数据 provider ——
   disposables.push(
     monaco.languages.registerDefinitionProvider(LSP_LANGS, {
@@ -87,6 +109,17 @@ export function registerLspProviders(monaco) {
         }
       },
     }),
+    monaco.languages.registerDocumentSemanticTokensProvider(LSP_LANGS, {
+      getLegend: () => SEMANTIC_LEGEND,
+      provideDocumentSemanticTokens: async (model, token) => {
+        const path = pathOfModel(model)
+        if (!path || token?.isCancellationRequested) return { data: new Uint32Array() }
+        const result = await fetchSemanticTokens(path, model.getValue())
+        if (!result || token?.isCancellationRequested) return { data: new Uint32Array() }
+        return { data: Uint32Array.from(result.data) }
+      },
+      releaseDocumentSemanticTokens: () => {},
+    }),
   )
 }
 

package/src/client/monaco/theme.ts

@@ -0,0 +1,229 @@
+// @ts-nocheck
+/**
+ * dsh-vscode-mode client — Monaco 语法分色主题（rich token 配色）。
+ * 编辑器原先硬编码 'vs'（内置基础主题），token 分色层次少；
+ * 这里定义 edrv-dark / edrv-light 两套完整 token 配色（对齐 VSCode Dark+ 语义分层），
+ * 并随 DSH 明暗主题自动切换（跟随文档根 data 主题属性 / prefers-color-scheme）。
+ * 作者 ddj 2026-08-28
+ */
+
+export const EDRV_DARK = 'edrv-dark'
+export const EDRV_LIGHT = 'edrv-light'
+export const EDRV_FALLBACK = 'vs'
+
+/** 语法分色（语义分层：关键字/字符串/数字/注释/函数/变量/类型/运算符/正则/标签/属性…）。 */
+const DARK_RULES = [
+  { token: '', foreground: 'd4d4d4', background: '1e1e1e' },
+  { token: 'comment', foreground: '6a9955', fontStyle: 'italic' },
+  { token: 'comment.doc', foreground: '7ca97c', fontStyle: 'italic' },
+  { token: 'keyword', foreground: 'c586c0' },
+  { token: 'keyword.control', foreground: 'c586c0' },
+  { token: 'keyword.operator', foreground: 'd4d4d4' },
+  { token: 'keyword.json', foreground: '9cdcfe' },
+  { token: 'string', foreground: 'ce9178' },
+  { token: 'string.escape', foreground: 'd7ba7d' },
+  { token: 'string.key.json', foreground: '9cdcfe' },
+  { token: 'string.value.json', foreground: 'ce9178' },
+  { token: 'string.yaml', foreground: 'ce9178' },
+  { token: 'number', foreground: 'b5cea8' },
+  { token: 'number.hex', foreground: 'b5cea8' },
+  { token: 'regexp', foreground: 'd16969' },
+  { token: 'type', foreground: '4ec9b0' },
+  { token: 'type.identifier', foreground: '4ec9b0' },
+  { token: 'identifier', foreground: 'd4d4d4' },
+  { token: 'variable', foreground: '9cdcfe' },
+  { token: 'variable.global', foreground: 'ff6699' },
+  { token: 'variable.local', foreground: '9cdcfe' },
+  { token: 'variable.mutable', foreground: '9cdcfe' },
+  { token: 'variable.predefined', foreground: '4fc1ff' },
+  { token: 'variable.parameter', foreground: '00bfae' },
+  { token: 'parameter', foreground: '00bfae' },
+  { token: 'function', foreground: 'dcdcaa' },
+  { token: 'method', foreground: 'dcdcaa' },
+  { token: 'property', foreground: '9cdcfe' },
+  { token: 'function.identifier', foreground: 'dcdcaa' },
+  { token: 'member', foreground: 'dcdcaa' },
+  { token: 'constant', foreground: '4fc1ff' },
+  { token: 'constant.numeric', foreground: 'b5cea8' },
+  { token: 'constant.language', foreground: '569cd6' },
+  { token: 'tag', foreground: '569cd6' },
+  { token: 'tag.xml', foreground: '569cd6' },
+  { token: 'metatag', foreground: '808080' },
+  { token: 'attribute.name', foreground: '9cdcfe' },
+  { token: 'attribute.value', foreground: 'ce9178' },
+  { token: 'delimiter', foreground: 'd4d4d4' },
+  { token: 'delimiter.bracket', foreground: 'ffd700' },
+  { token: 'delimiter.html', foreground: '808080' },
+  { token: 'operator', foreground: 'd4d4d4' },
+  { token: 'namespace', foreground: '4ec9b0' },
+  { token: 'class', foreground: '4ec9b0' },
+  { token: 'interface', foreground: '4ec9b0' },
+  { token: 'enum', foreground: '4ec9b0' },
+  { token: 'struct', foreground: '4ec9b0' },
+  { token: 'annotation', foreground: 'dcdcaa' },
+  { token: 'punctuation', foreground: 'd4d4d4' },
+  { token: 'invalid', foreground: 'f44747' },
+]
+
+const LIGHT_RULES = [
+  { token: '', foreground: '1e1e1e', background: 'ffffff' },
+  { token: 'comment', foreground: '008000', fontStyle: 'italic' },
+  { token: 'comment.doc', foreground: '2e7d32', fontStyle: 'italic' },
+  { token: 'keyword', foreground: '0000ff' },
+  { token: 'keyword.control', foreground: 'af00db' },
+  { token: 'keyword.operator', foreground: '1e1e1e' },
+  { token: 'keyword.json', foreground: '0451a5' },
+  { token: 'string', foreground: 'a31515' },
+  { token: 'string.escape', foreground: 'ee0000' },
+  { token: 'string.key.json', foreground: '0451a5' },
+  { token: 'string.value.json', foreground: 'a31515' },
+  { token: 'string.yaml', foreground: 'a31515' },
+  { token: 'number', foreground: '098658' },
+  { token: 'number.hex', foreground: '098658' },
+  { token: 'regexp', foreground: '811f3f' },
+  { token: 'type', foreground: '267f99' },
+  { token: 'type.identifier', foreground: '267f99' },
+  { token: 'identifier', foreground: '1e1e1e' },
+  { token: 'variable', foreground: '001080' },
+  { token: 'variable.global', foreground: 'c2185b' },
+  { token: 'variable.local', foreground: '001080' },
+  { token: 'variable.mutable', foreground: '001080' },
+  { token: 'variable.predefined', foreground: '001080' },
+  { token: 'variable.parameter', foreground: '008577' },
+  { token: 'parameter', foreground: '008577' },
+  { token: 'function', foreground: '795e26' },
+  { token: 'method', foreground: '795e26' },
+  { token: 'function.identifier', foreground: '795e26' },
+  { token: 'member', foreground: '795e26' },
+  { token: 'property', foreground: '001080' },
+  { token: 'constant', foreground: '0070c1' },
+  { token: 'constant.numeric', foreground: '098658' },
+  { token: 'constant.language', foreground: '0000ff' },
+  { token: 'tag', foreground: '800000' },
+  { token: 'tag.xml', foreground: '800000' },
+  { token: 'metatag', foreground: '6b6b6b' },
+  { token: 'attribute.name', foreground: 'e50000' },
+  { token: 'attribute.value', foreground: '0451a5' },
+  { token: 'delimiter', foreground: '1e1e1e' },
+  { token: 'delimiter.bracket', foreground: 'b46400' },
+  { token: 'delimiter.html', foreground: '800000' },
+  { token: 'operator', foreground: '1e1e1e' },
+  { token: 'namespace', foreground: '267f99' },
+  { token: 'class', foreground: '267f99' },
+  { token: 'interface', foreground: '267f99' },
+  { token: 'enum', foreground: '267f99' },
+  { token: 'struct', foreground: '267f99' },
+  { token: 'annotation', foreground: '795e26' },
+  { token: 'punctuation', foreground: '1e1e1e' },
+  { token: 'invalid', foreground: 'cd3131' },
+]
+
+/** 编辑器 UI 配色（与语法配色同套，保证 gutter/minimap/selection 一致）。 */
+const DARK_COLORS = {
+  'editor.background': '#1e1e1e',
+  'editor.foreground': '#d4d4d4',
+  'editorLineNumber.foreground': '#6e7681',
+  'editorLineNumber.activeForeground': '#c6c6c6',
+  'editor.selectionBackground': '#264f78',
+  'editor.inactiveSelectionBackground': '#3a3d41',
+  'editor.lineHighlightBackground': '#2a2d2e',
+  'editorCursor.foreground': '#aeafad',
+  'editorIndentGuide.background1': '#404040',
+  'editorIndentGuide.activeBackground1': '#707070',
+  'editorWidget.background': '#252526',
+  'editorHoverWidget.background': '#252526',
+  'editorGutter.background': '#1e1e1e',
+  'minimap.background': '#1e1e1e',
+  'scrollbarSlider.background': '#79797966',
+  'scrollbarSlider.hoverBackground': '#646464b3',
+  'scrollbarSlider.activeBackground': '#bfbfbf66',
+}
+
+const LIGHT_COLORS = {
+  'editor.background': '#ffffff',
+  'editor.foreground': '#1e1e1e',
+  'editorLineNumber.foreground': '#6c6c6c',
+  'editorLineNumber.activeForeground': '#171184',
+  'editor.selectionBackground': '#add6ff',
+  'editor.inactiveSelectionBackground': '#e5ebf1',
+  'editor.lineHighlightBackground': '#f0f0f0',
+  'editorCursor.foreground': '#000000',
+  'editorIndentGuide.background1': '#d3d3d3',
+  'editorIndentGuide.activeBackground1': '#939393',
+  'editorWidget.background': '#f3f3f3',
+  'editorHoverWidget.background': '#f3f3f3',
+  'editorGutter.background': '#ffffff',
+  'minimap.background': '#ffffff',
+  'scrollbarSlider.background': '#64646466',
+  'scrollbarSlider.hoverBackground': '#646464b3',
+  'scrollbarSlider.activeBackground': '#00000099',
+}
+
+/**
+ * 注册 edrv 双套主题（幂等；Monaco 未加载时静默跳过）。
+ * @author ddj 2026年08月28号
+ * @param monaco Monaco 实例（window.monaco）
+ */
+export function registerThemes(monaco) {
+  if (!monaco?.editor?.defineTheme) return
+  try {
+    monaco.editor.defineTheme(EDRV_DARK, {
+      base: 'vs-dark',
+      inherit: true,
+      rules: DARK_RULES,
+      colors: DARK_COLORS,
+    })
+    monaco.editor.defineTheme(EDRV_LIGHT, {
+      base: 'vs',
+      inherit: true,
+      rules: LIGHT_RULES,
+      colors: LIGHT_COLORS,
+    })
+  } catch (error) {
+    /* 主题注册失败保留内置 vs */
+  }
+}
+
+/**
+ * 探测当前 DSH 明暗（文档根 data 主题属性 → prefers-color-scheme → 暗）。
+ * @author ddj 2026年08月28号
+ * @returns 'dark' | 'light'
+ */
+export function detectColorScheme() {
+  try {
+    const attr = document.documentElement?.getAttribute?.('data-theme')
+      ?? document.body?.getAttribute?.('data-theme')
+    const value = String(attr ?? '').toLowerCase()
+    if (value.includes('light') || value.includes('catppuccin-latte')) return 'light'
+    if (value.includes('dark') || value.includes('frappe') || value.includes('macchiato') || value.includes('mocha')) return 'dark'
+    if (typeof window.matchMedia === 'function') {
+      return window.matchMedia('(prefers-color-scheme: light)').matches ? 'light' : 'dark'
+    }
+  } catch (error) {
+    /* 探测失败回落暗色 */
+  }
+  return 'dark'
+}
+
+/**
+ * 主题名：按当前明暗返回已注册主题（未注册回落 vs）。
+ * @author ddj 2026年08月28号
+ * @returns 主题 id
+ */
+export function themeNameOf() {
+  return detectColorScheme() === 'light' ? EDRV_LIGHT : EDRV_DARK
+}
+
+/**
+ * 应用主题到 Monaco（全局切换；新建编辑器也用该主题）。
+ * @author ddj 2026年08月28号
+ * @param monaco Monaco 实例
+ */
+export function applyTheme(monaco) {
+  if (!monaco?.editor?.setTheme) return
+  try {
+    monaco.editor.setTheme(themeNameOf())
+  } catch (error) {
+    /* setTheme 失败忽略 */
+  }
+}

package/src/client/ui/EditorView.ts

@@ -9,6 +9,7 @@ import React from 'react'
 import { dbg, rpc } from '../rpc.js'
 import { emitRefresh } from '../events.js'
 import { langOf, loadMonaco } from '../monaco/loader.js'
+import { applyTheme, registerThemes, themeNameOf } from '../monaco/theme.js'
 import { createDiffRenderer } from '../monaco/diffRender.js'
 import { ST, callIdAttr, noopHunk, summarize } from '../state/records.js'
 import { diffRegions } from '../state/regions.js'
@@ -244,7 +245,9 @@ export function EditorView(props) {
         setLoadStage((prev) => ({ progress: Math.max(84, prev.progress), message: '文件已读取，准备创建编辑器…' }))
         setStatus('已加载')
       } else {
-        const message = res?.error ? String(res.error) : '读取失败'
+        const base = res?.error ? String(res.error) : '读取失败'
+        // 带出 host 解析后的真实路径：跳转失败时一眼看出是路径解析错还是目标不存在
+        const message = res?.resolvedPath ? base + '：' + String(res.resolvedPath) : base
         setLoadError(message)
         setError(message)
         setStatus('读取失败')
@@ -496,6 +499,22 @@ export function EditorView(props) {
     return () => { alive = false }
   }, [monaco, monacoErr])
 
+  // 分色主题：Monaco 就绪后注册（幂等）+ 应用；DSH 明暗切换时跟随重刷。
+  React.useEffect(() => {
+    if (!monaco) return
+    registerThemes(monaco)
+    applyTheme(monaco)
+    if (typeof window.matchMedia !== 'function') return
+    const query = window.matchMedia('(prefers-color-scheme: dark)')
+    const onChange = () => applyTheme(monaco)
+    if (typeof query.addEventListener === 'function') {
+      query.addEventListener('change', onChange)
+      return () => query.removeEventListener('change', onChange)
+    }
+    query.addListener(onChange)
+    return () => query.removeListener(onChange)
+  }, [monaco])
+
   monacoRef.current = monaco
 
   const getModel = (path, text) => {
@@ -587,7 +606,7 @@ export function EditorView(props) {
     const ed = m.editor.create(node, {
       value: '',
       language: 'plaintext',
-      theme: 'vs',
+      theme: themeNameOf(),
       fontFamily: 'var(--ds-font-family-code, ui-monospace, monospace)',
       fontSize: 13,
       lineHeight: 20,

package/src/client/ui/LspSettings.ts

@@ -10,7 +10,7 @@ import { rpc } from '../rpc.js'
 import '../styles/mcp.css'
 
 const LANGUAGES = [
-  { id: 'lua', label: 'Lua（LuaLS）', hint: 'lua-language-server，EmmyLua 注解原生支持' },
+  { id: 'lua', label: 'Lua（EmmyLua / LuaLS）', hint: '优先使用已安装 EmmyLua；未安装时回退 LuaLS 或 PATH 中的 lua-language-server' },
   { id: 'csharp', label: 'C#（Roslyn / OmniSharp）', hint: '需 dotnet + ms-dotnettools.csharp 的 .roslyn 服务器，或手动指定' },
 ]
 
@@ -25,8 +25,8 @@ const TABS = [
   { id: 'updates', label: '更新' },
 ]
 
-/** 语言卡片：状态 + 启用开关 + 命令/路径配置。 */
-function LangCard({ lang, config, status, busy, onToggle, onSave }) {
+/** 语言卡片：状态 + 启用开关 + 命令/路径配置 + 重新检测。 */
+function LangCard({ lang, config, status, busy, onToggle, onSave, onRedetect }) {
   const [pathDraft, setPathDraft] = React.useState(config?.path ?? '')
   const [commandDraft, setCommandDraft] = React.useState(config?.command ?? '')
   React.useEffect(() => { setPathDraft(config?.path ?? ''); setCommandDraft(config?.command ?? '') }, [config?.path, config?.command])
@@ -40,12 +40,15 @@ function LangCard({ lang, config, status, busy, onToggle, onSave }) {
         React.createElement('button', { className: 'vsm-switch ' + (config?.enabled !== false ? 'on' : ''), onClick: () => onToggle(lang.id, config?.enabled !== false ? false : true), 'aria-label': '启用/禁用' }, config?.enabled !== false ? '●' : '○'))),
     React.createElement('div', { className: 'vsm-mcp-meta' },
       PHASE_LABEL[phase] ?? phase, ' · ', SOURCE_LABEL[status?.source] ?? status?.source,
+      status?.providerName ? ' · ' + status.providerName : '',
+      status?.version ? ' · v' + status.version : '',
       (phase === 'ready' && status?.root) ? ' · ' + String(status.root).split(/[\\/]/).pop() : ''),
     status?.reason ? React.createElement('div', { className: 'vsm-mcp-error' }, status.reason) : null,
     React.createElement('div', { className: 'vsm-lsp-form' },
       React.createElement('label', null, React.createElement('span', null, '可执行文件路径（绝对路径，优先）'), React.createElement('input', { value: pathDraft, placeholder: '如 C:/.../lua-language-server.exe', onChange: (e) => setPathDraft(e.target.value) })),
       React.createElement('label', null, React.createElement('span', null, '命令名（PATH 内查找）'), React.createElement('input', { value: commandDraft, placeholder: '如 lua-language-server', onChange: (e) => setCommandDraft(e.target.value) })),
-      React.createElement('button', { className: 'vsm-primary', disabled: busy === lang.id, onClick: () => onSave(lang.id, pathDraft, commandDraft) }, busy === lang.id ? '保存中…' : '保存配置')),
+      React.createElement('button', { className: 'vsm-primary', disabled: busy === lang.id, onClick: () => onSave(lang.id, pathDraft, commandDraft) }, busy === lang.id ? '保存中…' : '保存配置'),
+      React.createElement('button', { className: 'vsm-primary vsm-small', disabled: busy === lang.id, onClick: () => onRedetect(lang.id), title: '清缓存并重新选择语言服务器（EmmyLua / LuaLS）' }, busy === lang.id ? '检测中…' : '重新检测')),
     React.createElement('div', { className: 'vsm-lsp-hint' }, lang.hint))
 }
 
@@ -129,6 +132,18 @@ export function LspSettings() {
     if (next === 'servers') void refreshServers()
   }
 
+  /** 合并 redetect/configUpdate 返回的服务器状态：只替换该语言条目。 */
+  const mergeServers = (languageId, list) => {
+    setServers((prev) => Array.isArray(list)
+      ? [...prev.filter((s) => s.languageId !== languageId), ...list]
+      : prev)
+  }
+
+  /** 重检测后通知编辑器：与 host 重新同步已打开的模型（触发重新 acquire）。 */
+  const notifyResync = (languageId) => {
+    window.dispatchEvent(new CustomEvent('edrv:lsp-redetect', { detail: { languageId } }))
+  }
+
   const saveLang = (languageId, path, command) => {
     setBusy(languageId)
     setError('')
@@ -136,6 +151,8 @@ export function LspSettings() {
       .then((res) => {
         if (!res?.ok) { setError(res?.error ?? '保存失败'); return }
         setConfig(res.config ?? {})
+        mergeServers(languageId, res.servers)
+        notifyResync(languageId) // 保存后自动重新检测 + 同步模型
       })
       .catch((e) => setError(String(e)))
       .finally(() => setBusy(''))
@@ -145,8 +162,23 @@ export function LspSettings() {
     setBusy(languageId)
     rpc('edrv.lsp.configUpdate', { languageId, enabled })
       .then((res) => {
-        if (res?.ok) { setConfig(res.config ?? {}); void refreshServers() }
-        else setError(res?.error ?? '切换失败')
+        if (!res?.ok) { setError(res?.error ?? '切换失败'); return }
+        setConfig(res.config ?? {})
+        mergeServers(languageId, res.servers)
+        notifyResync(languageId) // 切换启用状态后自动重新检测 + 同步模型
+      })
+      .catch((e) => setError(String(e)))
+      .finally(() => setBusy(''))
+  }
+
+  const redetectLang = (languageId) => {
+    setBusy(languageId)
+    setError('')
+    rpc('edrv.lsp.redetect', { languageId })
+      .then((res) => {
+        if (!res?.ok) { setError(res?.error ?? '重新检测失败'); return }
+        mergeServers(languageId, res.servers)
+        notifyResync(languageId)
       })
       .catch((e) => setError(String(e)))
       .finally(() => setBusy(''))
@@ -239,7 +271,7 @@ export function LspSettings() {
         key: lang.id, lang,
         config: config[lang.id] ?? {},
         status: servers.find((s) => s.languageId === lang.id),
-        busy, onToggle: toggleLang, onSave: saveLang,
+        busy, onToggle: toggleLang, onSave: saveLang, onRedetect: redetectLang,
       })),
       React.createElement('div', { className: 'vsm-lsp-hint' }, '提示：打开 Lua/C# 文件即自动（惰性）启动对应语言服务器；未配置时编辑器功能不受影响，大纲回退内置解析。')))
   } else if (tab === 'installed') {

package/src/lsp/client.ts

@@ -5,7 +5,7 @@
  * 作者 ddj 2026-08-27
  */
 import { createFrameParser, encodeMessage, requestMessage, notifyMessage } from './jsonrpc.js'
-import type { LspServerCapabilities } from '../shared/lsp.js'
+import { LSP_SEMANTIC_TOKEN_TYPES, LSP_SEMANTIC_TOKEN_MODIFIERS, type LspServerCapabilities } from '../shared/lsp.js'
 
 export interface LspClientEvents {
   onReady?: (capabilities: LspServerCapabilities) => void
@@ -54,7 +54,16 @@ export function createLspClient(
   let nextId = 1
   let alive = transport.alive
   const pending = new Map<number, { resolve: (v: unknown) => void; reject: (e: Error) => void; timer: ReturnType<typeof setTimeout> }>()
-  let serverCapabilities: LspServerCapabilities = { definition: false, references: false, documentSymbol: false, workspaceSymbol: false, hover: false }
+  let serverCapabilities: LspServerCapabilities = {
+    definition: false,
+    references: false,
+    documentSymbol: false,
+    workspaceSymbol: false,
+    hover: false,
+    semanticTokens: false,
+    semanticTokenTypes: [],
+    semanticTokenModifiers: [],
+  }
 
   const log = (line: string): void => events.onLog?.(line)
   const parser = createFrameParser()
@@ -153,6 +162,9 @@ export function createLspClient(
           documentSymbolProvider?: unknown
           workspaceSymbolProvider?: unknown
           hoverProvider?: unknown
+          semanticTokensProvider?: {
+            legend?: { tokenTypes?: unknown; tokenModifiers?: unknown }
+          }
         }
       }>('initialize', {
         processId: process.pid,
@@ -170,16 +182,31 @@ export function createLspClient(
             references: { dynamicRegistration: false },
             documentSymbol: { dynamicRegistration: false },
             hover: { dynamicRegistration: false },
+            semanticTokens: {
+              dynamicRegistration: false,
+              requests: { range: false, full: { delta: false } },
+              tokenTypes: [...LSP_SEMANTIC_TOKEN_TYPES],
+              tokenModifiers: [...LSP_SEMANTIC_TOKEN_MODIFIERS],
+              formats: ['relative'],
+            },
           },
         },
       })
       const caps = init?.capabilities ?? {}
+      const legend = caps.semanticTokensProvider?.legend
       serverCapabilities = {
         definition: Boolean(caps.definitionProvider),
         references: Boolean(caps.referencesProvider),
         documentSymbol: Boolean(caps.documentSymbolProvider),
         workspaceSymbol: Boolean(caps.workspaceSymbolProvider),
         hover: Boolean(caps.hoverProvider),
+        semanticTokens: Boolean(caps.semanticTokensProvider),
+        semanticTokenTypes: Array.isArray(legend?.tokenTypes)
+          ? legend.tokenTypes.filter((item): item is string => typeof item === 'string')
+          : [...LSP_SEMANTIC_TOKEN_TYPES],
+        semanticTokenModifiers: Array.isArray(legend?.tokenModifiers)
+          ? legend.tokenModifiers.filter((item): item is string => typeof item === 'string')
+          : [...LSP_SEMANTIC_TOKEN_MODIFIERS],
       }
       client.notify('initialized', {})
       events.onReady?.(serverCapabilities)