+5
COMPLETADO

Configurable "Monospace" font

Alex Jenter hace 12 años actualizado hace 12 años 0
Make "monospace" font configurable and not fixed to Courier New.
editing complexity:easy text-formatting

Respuesta

Respuesta
COMPLETADO
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings
Respuesta
COMPLETADO
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings