+5
Terminé

Configurable "Monospace" font

Alex Jenter il y a 13 ans mis à jour il y a 13 ans 0
Make "monospace" font configurable and not fixed to Courier New.
editing complexity:easy text-formatting

Solution

Solution
Terminé
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings
Solution
Terminé
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings