Merge branch 'main' of https://github.com/fonsp/Pluto.jl

fonsp · Sep 19, 2023 · dd40a40 · dd40a40
2 parents 681981e + bae7d1c
commit dd40a40
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/frontend/components/Editor.js b/frontend/components/Editor.js
@@ -847,7 +847,6 @@ patch: ${JSON.stringify(
                 // https://github.com/fonsp/Pluto.jl/issues/2398
                 open_pluto_popup({
                     type: "warn",
-                    source_element: null,
                     body: html`<p>A new server was started - this notebook session is no longer running.</p>
                         <p>Would you like to go back to the main menu?</p>
                         <br />