From b34f1d4ee9c9eb98e104f63c6cdd4d7b677d72f6 Mon Sep 17 00:00:00 2001 From: Masahiro Kondou Date: Fri, 29 Jul 2022 07:58:32 +0000 Subject: [PATCH] update devcontainer.json --- .devcontainer/devcontainer.json | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 0c8e3ea..ec244ce 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -23,7 +23,9 @@ "settings": { "go.toolsManagement.checkForUpdates": "local", "go.useLanguageServer": true, - "go.gopath": "/go" + "go.gopath": "/go", + "editor.minimap.enabled": false, + "workbench.colorTheme": "Default Dark+" }, // Add the IDs of extensions you want installed when the container is created.