Fix hiding of generated activities

mdenet · Jan 12, 2024 · c9c25d2 · c9c25d2
1 parent 36dc76f
commit c9c25d2
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/platform/src/ActivityManager.js b/platform/src/ActivityManager.js
@@ -509,9 +509,10 @@ class ActivityManager {
         let generatedPanelFound = false;
 
         for (const panel of  this.activities[activityId].panels) {
-
-            if (this.accessPanelDef(panel.ref)?.generated  && !this.isPanelGenerated(panel.id) ){
-                generatedPanelFound = this.accessPanelDef(panel.ref).generated;
+            let panelDef = this.accessPanelDef(panel.ref);
+            // If no panel definition can be found, treat the panel as generated. Panel definitions may only be contributed by generated tools.
+            if ((!panelDef) || (panelDef.generated  && !this.isPanelGenerated(panel.id))) {
+                generatedPanelFound = true;
                 break;
             }
         }