From 6ae37817a7e15fb8fb22a162b5795b136f6df311 Mon Sep 17 00:00:00 2001 From: Ruben Fiszel Date: Fri, 4 Nov 2022 16:40:16 +0100 Subject: [PATCH] reload on broken monaco editor --- frontend/src/routes/__layout-root@none.svelte | 5 +++++ 1 file changed, 5 insertions(+) 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