font size editor
Open
customization
editor
- Dominant language
- JavaScript
- Stars
- 10.1k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
Hi,
please add possibility to adjust font size in editor.
On mobile device font size is way way to big.
Thank you in advance.
Contributor guide
Assessment
This issue has not been assessed yet.