Font size in editor
Open
enhancement
minor
- Dominant language
- JavaScript
- Stars
- 10.1k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
Hi,
Perhaps it would be helpful to have a font size selector in the editor. I personally find the editor font way too large on a low res display. Is there any easy way to reduce the font size in the config currently?
Contributor guide
Assessment
This issue has not been assessed yet.