From de8cf3ba8be89c596c8fcb143ee2e6ced9a50545 Mon Sep 17 00:00:00 2001 From: dsellarsnr <101134401+dsellarsnr@users.noreply.github.com> Date: Mon, 20 Mar 2023 12:17:10 -0400 Subject: [PATCH] Add diffEditor.codeLens setting --- .devcontainer/devcontainer.json | 1 + 1 file changed, 1 insertion(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index fd64ced..326ee3c 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -32,6 +32,7 @@ // Set *default* container specific settings.json values on container create. "settings": { "codestream.serverUrl": "https://api.codestream.com", + "diffEditor.codeLens": true, "workbench.colorTheme": "GitHub Dark Default", "remote.extensionKind": { "codestream.codestream": [