Update settings.json

2019-06-19 10:47:51 +08:00 · 2019-06-19 10:47:51 +08:00 · a6e99b07f5
parent 2a800167ee
commit a6e99b07f5
1 changed files with 1 additions and 0 deletions
--- a/settings.json
+++ b/settings.json
@ -33,4 +33,5 @@
    },
    "terminal.integrated.fontWeight": "500",
    "terminal.integrated.fontSize": 12,
+    "explorer.autoReveal": false,
 }