From 8bf9465dcb7cb6bb30cfa4bf32c917a8329c9735 Mon Sep 17 00:00:00 2001
From: Sean Boettger <sean@whypenguins.com>
Date: Tue, 5 Nov 2024 23:32:21 +1100
Subject: [PATCH] Make the code editors open when a new project is created.

---
 Browser_IDE/editorMain.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Browser_IDE/editorMain.js b/Browser_IDE/editorMain.js
index 9ca49ee..cd7e62d 100644
--- a/Browser_IDE/editorMain.js
+++ b/Browser_IDE/editorMain.js
@@ -501,6 +501,8 @@ async function newProject(initializer){
             await storedProject.access(async (project) => {
                 await project.renameProject("New Project");
             });
+
+            openCodeEditors();
         })()
     ])