Open michaelnicol opened 2 months ago
The editor's default font size is way too small. How can I change it to 18 pixels?
@michaelnicol
The editor's default font size is way too small. How can I change it to 18 pixels?