diff --git a/frontend/components/Editor.js b/frontend/components/Editor.js index 99bcc2369f..fe2ad5a6a7 100644 --- 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`
A new server was started - this notebook session is no longer running.
Would you like to go back to the main menu?