diff --git a/frontend/src/routes/__layout-root@none.svelte b/frontend/src/routes/__layout-root@none.svelte index 37261eb54b..9e678d18de 100644 --- a/frontend/src/routes/__layout-root@none.svelte +++ b/frontend/src/routes/__layout-root@none.svelte @@ -58,6 +58,11 @@ if (event.reason?.message) { const { message, body, status } = event.reason + if (message === 'Missing service editorService') { + console.error('Reloading the page to fix a Monaco Editor bug') + location.reload() + return + } // Unhandled errors from Monaco Editor don't logout the user if (monacoEditorUnhandledErrors.includes(message)) { return