Show progress bar earlier during load (#2889)

fonsp · Apr 9, 2024 · 50582a1 · 50582a1
1 parent 91b17ff
commit 50582a1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/frontend/editor.html b/frontend/editor.html
@@ -49,7 +49,9 @@
 
 <body class="loading no-MαθJax">
     <div style="display: flex; min-height: 100vh;">
-        <pluto-editor class="fullscreen"></pluto-editor>
+        <pluto-editor class="fullscreen">
+            <progress style="filter: grayscale(1)" class="statefile-fetch-progress delete-me-when-live" max="100"></progress>
+        </pluto-editor>
     </div>
 </body>
 

diff --git a/frontend/editor.js b/frontend/editor.js
@@ -185,6 +185,7 @@ class PlutoEditorComponent extends HTMLElement {
         const new_launch_params = Object.fromEntries(Object.entries(launch_params).map(([k, v]) => [k, from_attribute(this, k) ?? v]))
         console.log("Launch parameters: ", new_launch_params)
 
+        document.querySelector(".delete-me-when-live")?.remove()
         render(html`<${EditorLoader} launch_params=${new_launch_params} />`, this)
     }
 }