From 0ef24c38f35d40cdc0791e4e1dc7524704181031 Mon Sep 17 00:00:00 2001
From: Wilfried OLLIVIER <wollivier@fdn.fr>
Date: Wed, 1 Jun 2022 20:31:42 +0200
Subject: [PATCH] Increase editor font size

---
 settings.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/settings.json b/settings.json
index 5403441..b59619b 100644
--- a/settings.json
+++ b/settings.json
@@ -130,7 +130,7 @@
   },
   "vim.statusBarColorControl": false,
   "editor.fontFamily": "'JetBrainsMono Nerd Font', Monaco, 'Courier New', monospace",
-  "editor.fontSize": 10,
+  "editor.fontSize": 12,
   "editor.bracketPairColorization.enabled": true,
   "files.insertFinalNewline": true,
   "files.trimFinalNewlines": true,