From 9e671662a840cd5f9f002afeec0f324a9a77eee0 Mon Sep 17 00:00:00 2001 From: Mateus <94379499+mattdalpi@users.noreply.github.com> Date: Tue, 22 Nov 2022 18:11:27 +0000 Subject: [PATCH] Add Pedro extension suggestions --- .devcontainer/devcontainer.json | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index d248cad..61cc4b1 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -18,7 +18,12 @@ "extensions.ignoreRecommendations": true }, "extensions": [ - "NomicFoundation.hardhat-solidity" + "NomicFoundation.hardhat-solidity", + "tintinweb.vscode-inline-bookmarks", + "tintinweb.solidity-visual-auditor", + "tintinweb.solidity-metrics", + "tintinweb.graphviz-interactive-preview", + "JuanBlanco.solidity" ] } },