Report all errors on playground start up

mdenet · Feb 9, 2024 · fab9795 · fab9795
1 parent 8b4ec0a
commit fab9795
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/platform/src/Playground.js b/platform/src/Playground.js
@@ -245,6 +245,21 @@ function displayErrors(errors){
                 contentPanelDiv.append(content);
             });
         }
+
+        const otherErrors = errors.filter((e) => !(configErrors.includes(e) || platformErrors.includes(e)))
+        if (otherErrors.length > 0) {
+            let contentTitle = document.createElement("h2");
+            contentTitle.innerText = "Errors:";
+            contentPanelDiv.append(contentTitle);
+
+            otherErrors.forEach( (err) => {
+                let content = document.createElement("p");
+                let contentText= `${err.constructor.name}: ${err.message}` ;
+                content.append(document.createTextNode(contentText));
+
+                contentPanelDiv.append(content);
+            });
+        }
 }
 
 function initializePanels() {