ohmjs / ohm-editor

An IDE for the Ohm language (JavaScript edition)
MIT License
96 stars 17 forks source link

Use a monospaced font for the grammar editor #100

Open FeldrinH opened 1 year ago

FeldrinH commented 1 year ago

The grammar editor currently seems to use a variable-spaced sans-serif font (on my computer it is Arial). This is bad for legibility (notice in the screenshot how single and double quotes around content are hard to distinguish). It would be better, and much more standard for a code editor, to use a monospace font instead.

image