Adding 3 new dummy Buttons with the functionality of the Variant Miner

src/frontend/src/app/components/header-bar/header-bar.component.html

@@ -175,6 +175,30 @@
           </div>
         </button>
       </li>
+      <li>
+        <button class="button align-bottom" (click)="openSuperVariantExplorer()">
+          <div>
+            <i class="bi bi-map btn-icon"></i>
+            <span> <b>Open</b> Super Variant Explorer </span>
+          </div>
+        </button>
+      </li>
+      <li>
+        <button class="button align-bottom" (click)="openSuperVariantExplorer()">
+          <div>
+            <i class="bi bi-compass btn-icon"></i>
+            <span> <b>Open</b> Super Variant Explorer </span>
+          </div>
+        </button>
+      </li>
+      <li>
+        <button class="button align-bottom" (click)="openSuperVariantExplorer()">
+          <div>
+            <i class="bi bi-binoculars btn-icon"></i>
+            <span> <b>Open</b> Super Variant Explorer </span>
+          </div>
+        </button>
+      </li>
     </ul>
   </div>
 

src/frontend/src/app/components/header-bar/header-bar.component.ts

@@ -247,6 +247,72 @@ export class HeaderBarComponent implements OnDestroy {
     );
   }
 
+  //This is a copy of openVariantExplorer
+  openSuperVariantExplorer() {
+    const componentID = VariantMinerComponent.componentName;
+    const parentComponentID = ProcessTreeEditorComponent.componentName;
+
+    const LocationSelectors: LayoutManager.LocationSelector[] = [
+      {
+        typeId: LayoutManager.LocationSelector.TypeId.FocusedStack,
+        index: undefined,
+      },
+    ];
+
+    const itemConfig: ComponentItemConfig = {
+      id: componentID,
+      type: 'component',
+      title: 'Super Variant Explorer',
+      isClosable: true,
+      reorderEnabled: true,
+      header: {
+        show: Side.left,
+      },
+      componentType: componentID,
+    };
+
+    this.goldenLayoutComponentService.openWindow(
+      componentID,
+      parentComponentID,
+      LocationSelectors,
+      itemConfig
+    );
+  }
+
+  //TODO
+  /*
+  openSuperVariantExplorer() {
+    //const componentID = SuperVariantExplorerComponent.componentName;
+    const componentID = SuperVariantExplorerComponent.componentName;
+    const parentComponentID = ProcessTreeEditorComponent.componentName;
+
+    const LocationSelectors: LayoutManager.LocationSelector[] = [
+      {
+        typeId: LayoutManager.LocationSelector.TypeId.FocusedStack,
+        index: undefined,
+      },
+    ];
+
+    const itemConfig: ComponentItemConfig = {
+      id: componentID,
+      type: 'component',
+      title: 'Super Variant Explorer',
+      isClosable: true,
+      reorderEnabled: true,
+      header: {
+        show: Side.left,
+      },
+      componentType: componentID,
+    };
+    console.log(componentID, parentComponentID, LocationSelectors, itemConfig)
+    this.goldenLayoutComponentService.openWindow(
+      componentID,
+      parentComponentID,
+      LocationSelectors,
+      itemConfig
+    );
+  }*/
+
   openVariantModeler() {
     const componentID = VariantModelerComponent.componentName;