+5
Ukończony

Configurable "Monospace" font

Alex Jenter 13 lat temu zaktualizowano 13 lat temu 0
Make "monospace" font configurable and not fixed to Courier New.
editing complexity:easy text-formatting

Odpowiedź

Odpowiedź
Ukończony
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings
Odpowiedź
Ukończony
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings