From f6e3721e32489b71b501dc35fb5a7ad1e8f9945f Mon Sep 17 00:00:00 2001 From: lianghongkey Date: Fri, 21 Jun 2019 11:43:28 +0800 Subject: [PATCH] Update settings.json --- settings.json | 3 +++ 1 file changed, 3 insertions(+) diff --git a/settings.json b/settings.json index 7077888..02a0ede 100644 --- a/settings.json +++ b/settings.json @@ -34,4 +34,7 @@ "terminal.integrated.fontWeight": "500", "terminal.integrated.fontSize": 10, "explorer.autoReveal": false, + "editor.minimap.maxColumn": 80, + "editor.minimap.showSlider": "always", + "editor.minimap.renderCharacters": false, }