bugfix when first using IDE mode

diff --git a/static/src/folders.js b/static/src/folders.js
index 51a6f75c92b1e1cbac5eeec77713e50b2f015593..78ca70e7cd60d217ce783fe9520706c31b5bfe8c 100644 (file)
--- a/static/src/folders.js
+++ b/static/src/folders.js
@@ -204,6 +204,10 @@ async function enable_ide_mode() {
     $("#ide-menubar").removeClass("hidden");
     $("#folder-view").removeClass("hidden");
     $("#main-horizontal-divider").removeClass("hidden");
+
+    if (localStorage.getItem("folder-width") == null) {
+        localStorage.setItem("folder-width", "18%");
+    }
     $(":root").css("--folder-width", localStorage.getItem("folder-width"));
 
     folders = new FolderSystem();