Is your feature request related to a problem? Please describe.
Everyone has their favourite fonts for monospaced text.
Describe the solution you'd like
A good, solid monospace font should be used in the editor by default, but font face and size should be configurable.
Is your feature request related to a problem? Please describe.
Everyone has their favourite fonts for monospaced text.
Describe the solution you'd like
A good, solid monospace font should be used in the editor by default, but font face and size should be configurable.