From 768d2caaf2d466f0eaef2ad23ff6b5bf97f43790 Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Fri, 21 Jun 2019 10:25:39 +0800 Subject: [PATCH] Update settings.json --- settings.json | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/settings.json b/settings.json index ccaeeab..7077888 100644 --- a/settings.json +++ b/settings.json @@ -21,7 +21,7 @@ "editorBracketMatch.background": "#fffb00", "terminal.background" : "#f8f8f8", }, - "editor.fontSize": 17, + "editor.fontSize": 14, "editor.fontWeight": "500", "editor.tokenColorCustomizations": { "comments":"#7c7c7c", @@ -32,7 +32,6 @@ "numbers": "#009100", }, "terminal.integrated.fontWeight": "500", - "terminal.integrated.fontSize": 12, + "terminal.integrated.fontSize": 10, "explorer.autoReveal": false, - "window.zoomLevel": -1, }