From 24122e2c297896c72dd4663fc678394da1a58b81 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=A2=81=E9=B8=BF?= <lianghongkey@gmail.com>
Date: Mon, 18 May 2020 16:13:39 +0800
Subject: [PATCH] change terminal font size

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

diff --git a/settings.json b/settings.json
index 0c2b04f..56c0d38 100644
--- a/settings.json
+++ b/settings.json
@@ -82,7 +82,7 @@
     "explorer.openEditors.visible": 20,
     "workbench.editor.showTabs": true,
     "breadcrumbs.enabled": false,
-    "terminal.integrated.fontSize": 16,
+    "terminal.integrated.fontSize": 14,
     "window.menuBarVisibility": "compact",
     "diffEditor.ignoreTrimWhitespace": false,
     "files.maxMemoryForLargeFilesMB": 8192,