codium: Change editor font

2021-01-20 19:08:26 +01:00
parent a41f7b0c93
commit e6e3110a58
1 changed files with 4 additions and 0 deletions
--- a/codium/settings.json
+++ b/codium/settings.json
@@ -53,4 +53,8 @@
    "diffEditor.ignoreTrimWhitespace": false,
    "python.languageServer": "Microsoft",
    "git.autorefresh": false
+    "editor.fontFamily": "'Fira Code Retina', 'Droid Sans Mono' , 'monospace', 'Droid Sans Fallback'",
+    "editor.fontLigatures": true,
+    "editor.fontSize": 14,
+    "editor.lineHeight": 20
 }