From b84f547798a42c0e98a5242ba292cea73e37550f Mon Sep 17 00:00:00 2001
From: lianghongkey <lianghongkey@gmail.com>
Date: Wed, 26 Jun 2019 18:49:08 +0800
Subject: [PATCH] Update settings.json

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

diff --git a/settings.json b/settings.json
index 02a0ede..7a6b0cb 100644
--- a/settings.json
+++ b/settings.json
@@ -32,7 +32,7 @@
         "numbers": "#009100",
     },
     "terminal.integrated.fontWeight": "500",
-    "terminal.integrated.fontSize": 10,
+    "terminal.integrated.fontSize": 14,
     "explorer.autoReveal": false,
     "editor.minimap.maxColumn": 80,
     "editor.minimap.showSlider": "always",