Custom display fonts for editor
I don't use/understand the rich text editor, but the default fixed width font in the regular editor makes some diacritics hard to see. I would be doing a lot less compiling and editing if I could use a display font that was easier on my eyes! Is that heretical, or could it be as simple as the custom themes?
Thanks for the feedback! We’ll see what we can do to improve the rich text mode and to provide more options for variable-width fonts in the source editor.