Weizhi Cui
Results
1
issues of
Weizhi Cui
### What happened? I found that there is no option to modify the font in the settings ### Steps to reproduce? ```Markdown I prefer to use Monaco font on MacOS...
enhancement