Back to plugins
FIXED-SOURCE RECORD
Font Settings
WebUI plugin: per-user font preferences (UI font + code font) as a Settings → General row
ReviewedUnknownUI & Workspace
Evidence snapshot
- Source repository
- fuzz1og/dsh-font-settings
- Full commit
- 640ca4bf9d371f3c83fce30ceb0d06a5e15e8298
- Package manifest
- package.json
- DSH patch
- cordis.patch.yml
- Package identity
dsh-font-settings- Licenses
- repo MIT / package MIT
- Install lifecycle
none- Compatibility evidence
- Unknown