From 80fd22b4a6350af8000b48f46c69ef99fe6e6e84 Mon Sep 17 00:00:00 2001
From: "David J. Malan" <malan@harvard.edu>
Date: Sat, 5 Oct 2024 21:48:10 -0400
Subject: [PATCH] Update devcontainer.json

---
 devcontainer.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/devcontainer.json b/devcontainer.json
index 7bc7bf51..a7a5c984 100644
--- a/devcontainer.json
+++ b/devcontainer.json
@@ -215,6 +215,7 @@
                 "workbench.editor.closeOnFileDelete": true,
                 "workbench.editor.enablePreview": false,
                 "workbench.iconTheme": "vs-minimal", /* Simplify icons */
+                "workbench.layoutControl.enabled": false,
                 "workbench.preferredDarkColorTheme": "GitHub Dark Default",
                 "workbench.preferredLightColorTheme": "GitHub Light Default",
                 "workbench.startupEditor": "none",