diff --git a/settings.json b/settings.json index 8a79f80..6e98b3e 100644 --- a/settings.json +++ b/settings.json @@ -33,4 +33,5 @@ }, "terminal.integrated.fontWeight": "500", "terminal.integrated.fontSize": 12, + "explorer.autoReveal": false, }