It would be great if the editor font selector allowed users to pick their own fonts, in addition to the bundled ones.
I believe that a font choice is a meaningful part of the experience for a writing-focused app.
I came across this while reporting a font-related rendering bug, switching to the bundled Mono option is currently broken for numbered lists on my machine, which made me look more carefully at how fonts are handled. Even if the bundled Mono is fixed, being able to pick my own font (JetBrains Mono or iA Writer Duo, for example) would be highly appreciated.
Thank you!