From 2a800167ee6960f5efb28d31ee16dfb55bcf885c Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Mon, 17 Jun 2019 17:53:26 +0800 Subject: [PATCH] Update settings.json --- settings.json | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/settings.json b/settings.json index 0eeadcf..8a79f80 100644 --- a/settings.json +++ b/settings.json @@ -22,7 +22,6 @@ "terminal.background" : "#f8f8f8", }, "editor.fontSize": 15, - "editor.fontFamily": "SF Mono", "editor.fontWeight": "500", "editor.tokenColorCustomizations": { "comments":"#7c7c7c", @@ -33,5 +32,5 @@ "numbers": "#009100", }, "terminal.integrated.fontWeight": "500", - "terminal.integrated.fontFamily": "SF Mono", + "terminal.integrated.fontSize": 12, }