1. Roadmap
  2. Pomysły
+5
Ukończony

Configurable "Monospace" font

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

Odpowiedź

Odpowiedź
Ukończony
Alex Jenter 12 lat temu
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings
Odpowiedź
Ukończony
Alex Jenter 12 lat temu
Released in 1.5.3
Parameter "editor.fonts.monospace" in cintanotes.settings

Customer support service by UserEcho