Interesting, thanks for that info. That option must have been added recently. From my perspective, a few days or so ago the font in the basic markdown editor just magically changed from monospace to the regular proportional font.
Interesting, thanks for that info. That option must have been added recently. From my perspective, a few days or so ago the font in the basic markdown editor just magically changed from monospace to the regular proportional font.