Showing the last saved plugin snapshot.
← Leaderboard / UI Enhancements / Plugin
fuzz1og/dsh-font-settings
“WebUI plugin: per-user font preferences (UI font + code font) as a Settings → General row, with cross-platform…”
Star rank
#10755declared plugin rank
In UI Enhancements
#1928category rank
Stars
0GitHub repository
Forks
1GitHub repository
Watchers
0GitHub subscribers
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
