From 38ae30a5cdfcc04cd2ed5e035a9c5cc0f14095e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robin-Charles=20Guih=C3=A9neuf?= <robin-charles@hotmail.fr>
Date: Wed, 20 Jan 2021 19:08:26 +0100
Subject: [PATCH] codium: Change editor font

---
 codium/settings.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/codium/settings.json b/codium/settings.json
index aaea149..1f2496b 100644
--- 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
 }