Best Software for 2025 is now live!

How to change the font?

I hate the font and want it to be something else
1 Kommentar
Sieht aus, als wären Sie nicht angemeldet.
Benutzer müssen angemeldet sein, um Fragen zu beantworten
Anmelden
Adrian B.
AB
PHP Engineer at Axxess
0
Aus dem Menü öffnen Sie unter Einstellungen > Voreinstellungen die Einstellungsdateien. Links sind alle Standardwerte. Rechts können Sie Ihre Anpassungen vornehmen. Für die Schriftart fügen Sie etwas wie... { "font_face": "Roboto Mono" } auf der rechten Seite hinzu. Und stellen Sie auch sicher, dass die Schriftart auf Ihrem System installiert ist.
Sieht aus, als wären Sie nicht angemeldet.
Benutzer müssen angemeldet sein, um Kommentare zu schreiben
Anmelden
Antworten