概览
dsh-font-settings
WebUI plugin: per-user font preferences (UI font + code font) as a Settings → General row, with cross-platform system-font enumeration (Windows / WSL / Linux / macOS)
README / ZH
插件文档
目录摘要
WebUI plugin: per-user font preferences (UI font + code font) as a Settings → General row, with cross-platform system-font enumeration (Windows / WSL / Linux / macOS)
dsh.pub 核对固定版本的组合包契约、运行时事实与分发语义；完整 README 请查看源仓库。
在 GitHub 阅读完整 READMELIMITATIONS
已知限制
- `ui-monospace` / `Consolas` 等家族名被全局改写，因此选字面板里那几行「以自身字体 预览」的示例文字也会跟着变；属于外观副作用，不影响功能。字号缩放同样经这条 `@font-face` 生效，所以影响面与换字体一致。 - 已经打开的终端会立刻重绘成新字体/新字号（CSS 实时重解析），但 xterm 的单元格宽度 是在挂载和容器尺寸变化时测量的，所以**可能要等一次尺寸变化（拖动/折叠侧边栏、开新 终端）才会完全对齐**。这是终端自身不监听字体变化的限制，插件改不到。 - 缩放比例是浮点的，但字体在该字号下可能按整数像素渲染步进，所以实际字号与所选值 可能有零点几 px 的量化误差（栅格仍然对齐，漂移为 0）。 - 字号缩放依附在 `@font-face` 别名上。如果所选字体**在当前浏览器里匹配不到**（列表里 会标「浏览器不可见」——典型情况是宿主从 Windows 字体目录枚举到了，但 WSLg / Linux 浏览器看不到它），那么整个 face 失效，**字体和字号都不会生效**，终端退回栈里的下一个 家族。判断依据要以浏览器真正能渲染的字体为准，而不是宿主枚举到的列表。