mirror of
https://github.com/wavetermdev/waveterm
synced 2026-05-16 05:18:24 +00:00
I added editor fontsize configuration. I found an issue that had related requirements, so I added it. I hope I can be of some help.  |
||
|---|---|---|
| .. | ||
| custom.d.ts | ||
| gotypes.d.ts | ||