From 50582a10a8b784cdb92784afbd6db72006674a6f Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Tue, 9 Apr 2024 12:24:15 +0200 Subject: [PATCH] Show progress bar earlier during load (#2889) --- frontend/editor.html | 4 +++- frontend/editor.js | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/frontend/editor.html b/frontend/editor.html index d1009de57f..3f68559b00 100644 --- a/frontend/editor.html +++ b/frontend/editor.html @@ -49,7 +49,9 @@
- + + +
diff --git a/frontend/editor.js b/frontend/editor.js index bdddaf85ca..58058c1419 100644 --- 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) } }