Showing the last saved plugin snapshot.

← Leaderboard / UI Enhancements / Plugin
Last repository activity September 15, 2026 · Created August 15, 2026

fuzz1og/dsh-font-settings

“WebUI plugin: per-user font preferences (UI font + code font) as a Settings → General row, with cross-platform…”

Star rank
#10755
declared plugin rank
In UI Enhancements
#1928
category rank
Stars
0
GitHub repository
Forks
1
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
TL;DR

WebUI plugin: per-user font preferences (UI font + code font) as a Settings → General row, with cross-platform system-font enumeration (Windows.

30 days of GitHub stars
+0 stars
+0% observed change
Oct 14Oct 28Nov 12