reload on broken monaco editor

This commit is contained in:
Ruben Fiszel
2022-11-04 16:40:16 +01:00
parent e58296ad64
commit 6ae37817a7
@@ -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