From 8fe9c0b3742a0f4adcff3922cb44020776ecc878 Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Thu, 20 Jun 2019 14:27:30 +0800 Subject: [PATCH] Update settings.json --- settings.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/settings.json b/settings.json index 6e98b3e..ccaeeab 100644 --- a/settings.json +++ b/settings.json @@ -21,7 +21,7 @@ "editorBracketMatch.background": "#fffb00", "terminal.background" : "#f8f8f8", }, - "editor.fontSize": 15, + "editor.fontSize": 17, "editor.fontWeight": "500", "editor.tokenColorCustomizations": { "comments":"#7c7c7c", @@ -34,4 +34,5 @@ "terminal.integrated.fontWeight": "500", "terminal.integrated.fontSize": 12, "explorer.autoReveal": false, + "window.zoomLevel": -1, }