Let user choose font in editor

0 vote

Published 7 years ago

Hello,
when working with tables in markdown for the built-in documentation, the default Arial (?) font could be improved in my opinion.
Compared with an external markdown editor (better to read, easier to edit):

Maybe it would be a nice feature to let user choose what type of font/size they prefer (like they already can for SSH/terminal sessions)?

Regards,
Markus

All Comments (3)

David Hervieux

Published 7 years ago

Hello,
I think that we should change it for Courrier and after that add an option to select the font.

Regards

David Hervieux

Samuel Baker

Published 7 years ago

Hello,

We've added an option to change the font and size of the documentation editor. It will be available in a future patch under File/Options/User Interface/Dashboard.

Regards,

Samuel Baker

Documentation Editor Font.png

Frittenfett

Published 7 years ago

Cool, thanks for the update/product enhancement :)