codium: Change editor font

2021-01-20 19:08:26 +01:00 · 2021-01-20 19:08:26 +01:00 · 969a7282ed
commit 969a7282ed
parent 1c4e9ce071
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
 }