@ai-ecoverse/slicc-spectrum 1.88.0 → 1.88.1

package/dist/slicc-ui.js

@@ -30272,7 +30272,7 @@ var SliccNetwork = class extends ModelElement {
         return b`<p>Run <code>slicc pair</code> on this computer and paste the link it prints.</p>
           <form class="pair-field" data-form="pair" @submit=${(event2) => this.#submitPair(event2, port)}>
             <sp-field-label for="pair-url" size="m">Pairing link</sp-field-label>
-            <sp-textfield id="pair-url" size="m" type="url" autocomplete="off" placeholder="http://127.0.0.1:…" ?invalid=${!!this.pairError} @input=${(event2) => this.#pairInput(event2)} @keydown=${(event2) => this.#enterKey(event2)}>${this.pairError ? b`<sp-help-text slot="negative-help-text" icon data-error="pairing">${this.pairError}</sp-help-text>` : A}</sp-textfield>
+            <sp-textfield id="pair-url" size="m" type="url" autocomplete="off" placeholder=${`${location.origin}/#slicc-pair=\u2026`} ?invalid=${!!this.pairError} @input=${(event2) => this.#pairInput(event2)} @keydown=${(event2) => this.#enterKey(event2)}>${this.pairError ? b`<sp-help-text slot="negative-help-text" icon data-error="pairing">${this.pairError}</sp-help-text>` : A}</sp-textfield>
             <swc-button size="m" variant="accent" data-action="pair" ?pending=${this.pairBusy === "pair"} ?disabled=${!this.pairFilled || !port.pairComputer} @click=${(event2) => this.#sendKey(event2)}>Link</swc-button>
           </form>`;
     }
@@ -47604,8 +47604,8 @@ var Rule = class {
     this._contentNameIsCapturing = RegexSource.hasCaptures(this._contentName);
   }
   get debugName() {
-    const location = this.$location ? `${basename2(this.$location.filename)}:${this.$location.line}` : "unknown";
-    return `${this.constructor.name}#${this.id} @ ${location}`;
+    const location2 = this.$location ? `${basename2(this.$location.filename)}:${this.$location.line}` : "unknown";
+    return `${this.constructor.name}#${this.id} @ ${location2}`;
   }
   getName(lineText, captureIndices) {
     if (!this._nameIsCapturing || this._name === null || lineText === null || captureIndices === null) {
@@ -71296,22 +71296,22 @@ function getGridLocation(element2) {
   const ancestor = parentElement.parentElement.parentElement.parentElement;
   return [...getGridLocation(ancestor), index];
 }
-function getRelativeLocation(rootOrientation, location, direction) {
-  if (getLocationOrientation(rootOrientation, location) === getDirectionOrientation(direction)) {
-    const [rest, _index] = tail(location);
+function getRelativeLocation(rootOrientation, location2, direction) {
+  if (getLocationOrientation(rootOrientation, location2) === getDirectionOrientation(direction)) {
+    const [rest, _index] = tail(location2);
     let index = _index;
     if (direction === "right" || direction === "bottom") index += 1;
     return [...rest, index];
   } else {
     const index = direction === "right" || direction === "bottom" ? 1 : 0;
-    return [...location, index];
+    return [...location2, index];
   }
 }
 function getDirectionOrientation(direction) {
   return direction === "top" || direction === "bottom" ? "VERTICAL" : "HORIZONTAL";
 }
-function getLocationOrientation(rootOrientation, location) {
-  return location.length % 2 === 0 ? orthogonal(rootOrientation) : rootOrientation;
+function getLocationOrientation(rootOrientation, location2) {
+  return location2.length % 2 === 0 ? orthogonal(rootOrientation) : rootOrientation;
 }
 var orthogonal = (orientation) => orientation === "HORIZONTAL" ? "VERTICAL" : "HORIZONTAL";
 function isGridBranchNode(node) {
@@ -71406,8 +71406,8 @@ var Gridview = class {
   }
   maximizeView(view) {
     var _this$_maximizedNode2;
-    const location = getGridLocation(view.element);
-    const [_9, node] = this.getNode(location);
+    const location2 = getGridLocation(view.element);
+    const [_9, node] = this.getNode(location2);
     if (!(node instanceof LeafNode)) return;
     if (((_this$_maximizedNode2 = this._maximizedNode) === null || _this$_maximizedNode2 === void 0 ? void 0 : _this$_maximizedNode2.leaf) === node) return;
     if (this.hasMaximizedView()) this.exitMaximizedView();
@@ -71492,8 +71492,8 @@ var Gridview = class {
     this._deserialize(json.root, orientation, deserializer, height);
     this.layout(json.width, json.height);
     if (json.maximizedNode) {
-      const location = json.maximizedNode.location;
-      const [_9, node] = this.getNode(location);
+      const location2 = json.maximizedNode.location;
+      const [_9, node] = this.getNode(location2);
       if (!(node instanceof LeafNode)) return;
       this.maximizeView(node.view);
     }
@@ -71584,14 +71584,14 @@ var Gridview = class {
       this._onDidChange.fire(e122);
     });
   }
-  next(location) {
-    return this.progmaticSelect(location);
+  next(location2) {
+    return this.progmaticSelect(location2);
   }
-  previous(location) {
-    return this.progmaticSelect(location, true);
+  previous(location2) {
+    return this.progmaticSelect(location2, true);
   }
-  getView(location) {
-    const node = location ? this.getNode(location)[1] : this.root;
+  getView(location2) {
+    const node = location2 ? this.getNode(location2)[1] : this.root;
     return this._getViews(node, this.orientation);
   }
   _getViews(node, orientation, cachedVisibleSize) {
@@ -71616,12 +71616,12 @@ var Gridview = class {
       cachedVisibleSize
     };
   }
-  progmaticSelect(location, reverse = false) {
-    const [path, node] = this.getNode(location);
+  progmaticSelect(location2, reverse = false) {
+    const [path, node] = this.getNode(location2);
     if (!(node instanceof LeafNode)) throw new TypeError("invalid location");
     for (let i26 = path.length - 1; i26 > -1; i26--) {
       const n37 = path[i26];
-      const l24 = location[i26] || 0;
+      const l24 = location2[i26] || 0;
       if (reverse ? l24 - 1 > -1 : l24 + 1 < n37.children.length) return findLeaf(n37.children[reverse ? l24 - 1 : l24 + 1], reverse);
     }
     return findLeaf(this.root, reverse);
@@ -71650,15 +71650,15 @@ var Gridview = class {
     this._margin = margin !== null && margin !== void 0 ? margin : 0;
     this.root = new BranchNode(orientation, proportionalLayout, styles, 0, 0, this.locked, this.margin);
   }
-  isViewVisible(location) {
-    const [rest, index] = tail(location);
+  isViewVisible(location2) {
+    const [rest, index] = tail(location2);
     const [, parent] = this.getNode(rest);
     if (!(parent instanceof BranchNode)) throw new TypeError("Invalid from location");
     return parent.isChildVisible(index);
   }
-  setViewVisible(location, visible2) {
+  setViewVisible(location2, visible2) {
     if (this.hasMaximizedView()) this.exitMaximizedView();
-    const [rest, index] = tail(location);
+    const [rest, index] = tail(location2);
     const [, parent] = this.getNode(rest);
     if (!(parent instanceof BranchNode)) throw new TypeError("Invalid from location");
     this._onDidViewVisibilityChange.fire();
@@ -71670,9 +71670,9 @@ var Gridview = class {
     if (!(parent instanceof BranchNode)) throw new TypeError("Invalid location");
     parent.moveChild(from, to);
   }
-  addView(view, size4, location) {
+  addView(view, size4, location2) {
     if (this.hasMaximizedView()) this.exitMaximizedView();
-    const [rest, index] = tail(location);
+    const [rest, index] = tail(location2);
     const [pathToParent, parent] = this.getNode(rest);
     if (parent instanceof BranchNode) {
       const node = new LeafNode(view, orthogonal(parent.orientation), parent.orthogonalSize);
@@ -71697,12 +71697,12 @@ var Gridview = class {
     }
   }
   remove(view, sizing) {
-    const location = getGridLocation(view.element);
-    return this.removeView(location, sizing);
+    const location2 = getGridLocation(view.element);
+    return this.removeView(location2, sizing);
   }
-  removeView(location, sizing) {
+  removeView(location2, sizing) {
     if (this.hasMaximizedView()) this.exitMaximizedView();
-    const [rest, index] = tail(location);
+    const [rest, index] = tail(location2);
     const [pathToParent, parent] = this.getNode(rest);
     if (!(parent instanceof BranchNode)) throw new TypeError("Invalid location");
     const nodeToRemove = parent.children[index];
@@ -71743,10 +71743,10 @@ var Gridview = class {
     const [size4, orthogonalSize] = this.root.orientation === "HORIZONTAL" ? [height, width] : [width, height];
     this.root.layout(size4, orthogonalSize);
   }
-  getNode(location, node = this.root, path = []) {
-    if (location.length === 0) return [path, node];
+  getNode(location2, node = this.root, path = []) {
+    if (location2.length === 0) return [path, node];
     if (!(node instanceof BranchNode)) throw new TypeError("Invalid location");
-    const [index, ...rest] = location;
+    const [index, ...rest] = location2;
     if (index < 0 || index >= node.children.length) throw new Error("Invalid location");
     const child = node.children[index];
     path.push(node);
@@ -71952,8 +71952,8 @@ var BaseGrid = class extends Resizable {
   hasMaximizedGroup() {
     return this.gridview.hasMaximizedView();
   }
-  doAddGroup(group, location = [0], size4, gridview = this.gridview) {
-    gridview.addView(group, size4 !== null && size4 !== void 0 ? size4 : Sizing.Distribute, location);
+  doAddGroup(group, location2 = [0], size4, gridview = this.gridview) {
+    gridview.addView(group, size4 !== null && size4 !== void 0 ? size4 : Sizing.Distribute, location2);
     this._onDidAdd.fire(group);
   }
   doRemoveGroup(group, options) {
@@ -71993,8 +71993,8 @@ var BaseGrid = class extends Resizable {
       if (!this.activeGroup) return;
       options.group = this.activeGroup;
     }
-    const location = getGridLocation(options.group.element);
-    const next = (_this$gridview$next = this.gridview.next(location)) === null || _this$gridview$next === void 0 ? void 0 : _this$gridview$next.view;
+    const location2 = getGridLocation(options.group.element);
+    const next = (_this$gridview$next = this.gridview.next(location2)) === null || _this$gridview$next === void 0 ? void 0 : _this$gridview$next.view;
     this.doSetGroupActive(next);
   }
   activatePrevious(options) {
@@ -72004,8 +72004,8 @@ var BaseGrid = class extends Resizable {
       if (!this.activeGroup) return;
       options.group = this.activeGroup;
     }
-    const location = getGridLocation(options.group.element);
-    const next = (_this$gridview$previo = this.gridview.previous(location)) === null || _this$gridview$previo === void 0 ? void 0 : _this$gridview$previo.view;
+    const location2 = getGridLocation(options.group.element);
+    const next = (_this$gridview$previo = this.gridview.previous(location2)) === null || _this$gridview$previo === void 0 ? void 0 : _this$gridview$previo.view;
     this.doSetGroupActive(next);
   }
   forceRelayout() {
@@ -81702,10 +81702,10 @@ var AdvancedDnDService = class {
       } : void 0
     };
   }
-  resolveOverlayModel(location, group) {
+  resolveOverlayModel(location2, group) {
     var _this$host$options$dr, _this$host$options;
     return (_this$host$options$dr = (_this$host$options = this.host.options).dropOverlayModel) === null || _this$host$options$dr === void 0 ? void 0 : _this$host$options$dr.call(_this$host$options, {
-      location,
+      location: location2,
       group
     });
   }
@@ -83598,9 +83598,9 @@ var DockviewComponent = class extends BaseGrid {
   * Resolve the app-supplied drop overlay model (via the AdvancedDnD module)
   * for a group drop target, or `undefined` to keep the target's default.
   */
-  resolveDropOverlayModel(location, group) {
+  resolveDropOverlayModel(location2, group) {
     var _this$_advancedDnDSer2;
-    return (_this$_advancedDnDSer2 = this._advancedDnDService) === null || _this$_advancedDnDSer2 === void 0 ? void 0 : _this$_advancedDnDSer2.resolveOverlayModel(location, group);
+    return (_this$_advancedDnDSer2 = this._advancedDnDService) === null || _this$_advancedDnDSer2 === void 0 ? void 0 : _this$_advancedDnDSer2.resolveOverlayModel(location2, group);
   }
   /** Outermost element: the shell (incl. edge groups) once built, else the gridview. */
   get rootElement() {
@@ -83631,8 +83631,8 @@ var DockviewComponent = class extends BaseGrid {
   adjacentGroup(group, reverse) {
     var _ref2;
     if (group.api.location.type !== "grid") return;
-    const location = getGridLocation(group.element);
-    return (_ref2 = reverse ? this.gridview.previous(location) : this.gridview.next(location)) === null || _ref2 === void 0 ? void 0 : _ref2.view;
+    const location2 = getGridLocation(group.element);
+    return (_ref2 = reverse ? this.gridview.previous(location2) : this.gridview.next(location2)) === null || _ref2 === void 0 ? void 0 : _ref2.view;
   }
   /**
   * The nearest grid group in a spatial direction from `group`, by
@@ -84797,8 +84797,8 @@ var DockviewComponent = class extends BaseGrid {
         return;
       }
     }
-    const location = getGridLocation(options.group.element);
-    const next = (_this$gridview$next = this.gridview.next(location)) === null || _this$gridview$next === void 0 ? void 0 : _this$gridview$next.view;
+    const location2 = getGridLocation(options.group.element);
+    const next = (_this$gridview$next = this.gridview.next(location2)) === null || _this$gridview$next === void 0 ? void 0 : _this$gridview$next.view;
     this.doSetGroupAndPanelActive(next);
   }
   activatePrevious(options = {}) {
@@ -84813,8 +84813,8 @@ var DockviewComponent = class extends BaseGrid {
         return;
       }
     }
-    const location = getGridLocation(options.group.element);
-    const next = (_this$gridview$previo = this.gridview.previous(location)) === null || _this$gridview$previo === void 0 ? void 0 : _this$gridview$previo.view;
+    const location2 = getGridLocation(options.group.element);
+    const next = (_this$gridview$previo = this.gridview.previous(location2)) === null || _this$gridview$previo === void 0 ? void 0 : _this$gridview$previo.view;
     if (next) this.doSetGroupAndPanelActive(next);
   }
   /**
@@ -85262,8 +85262,8 @@ var DockviewComponent = class extends BaseGrid {
         });
         if (!options.inactive) this.doSetGroupAndPanelActive(referenceGroup);
       } else {
-        const location = getGridLocation(referenceGroup.element);
-        const relativeLocation = getRelativeLocation(this.gridview.orientation, location, target2);
+        const location2 = getGridLocation(referenceGroup.element);
+        const relativeLocation = getRelativeLocation(this.gridview.orientation, location2, target2);
         const group = this.createGroupAtLocation(relativeLocation, this.orientationAtLocation(relativeLocation) === "VERTICAL" ? initial === null || initial === void 0 ? void 0 : initial.height : initial === null || initial === void 0 ? void 0 : initial.width);
         panel = this.createPanel(options, group);
         group.model.openPanel(panel, {
@@ -85351,8 +85351,8 @@ var DockviewComponent = class extends BaseGrid {
         return group2;
       }
       const target2 = toTarget(options.direction || "within");
-      const location = getGridLocation(referenceGroup.element);
-      const relativeLocation = getRelativeLocation(this.gridview.orientation, location, target2);
+      const location2 = getGridLocation(referenceGroup.element);
+      const relativeLocation = getRelativeLocation(this.gridview.orientation, location2, target2);
       const group = this.createGroup(options);
       const size4 = this.getLocationOrientation(relativeLocation) === "VERTICAL" ? options.initialHeight : options.initialWidth;
       this.doAddGroup(group, relativeLocation, size4);
@@ -85365,8 +85365,8 @@ var DockviewComponent = class extends BaseGrid {
       return group;
     }
   }
-  getLocationOrientation(location) {
-    return location.length % 2 == 0 && this.gridview.orientation === "HORIZONTAL" ? "HORIZONTAL" : "VERTICAL";
+  getLocationOrientation(location2) {
+    return location2.length % 2 == 0 && this.gridview.orientation === "HORIZONTAL" ? "HORIZONTAL" : "VERTICAL";
   }
   removeGroup(group, options) {
     this.mutation("remove", () => this.doRemoveGroup(group, options));
@@ -85770,8 +85770,8 @@ var DockviewComponent = class extends BaseGrid {
           skipDispose: true
         }));
         const updatedReferenceLocation = getGridLocation(destinationGroup.element);
-        const location = getRelativeLocation(destinationGridview.orientation, updatedReferenceLocation, destinationTarget);
-        this.movingLock(() => this.doAddGroup(targetGroup, location, this.dropSizing(updatedReferenceLocation), destinationGridview));
+        const location2 = getRelativeLocation(destinationGridview.orientation, updatedReferenceLocation, destinationTarget);
+        this.movingLock(() => this.doAddGroup(targetGroup, location2, this.dropSizing(updatedReferenceLocation), destinationGridview));
         this.setGroupLocationForRoot(targetGroup, destinationGridview);
         this.doSetGroupAndPanelActive(targetGroup);
         this.fireDidMovePanel(this.getGroupPanel(sourceItemId), sourceGroup);
@@ -86088,9 +86088,9 @@ var DockviewComponent = class extends BaseGrid {
   dropSizing(referenceLocation) {
     return Sizing.Split(referenceLocation.length === 0 ? 0 : referenceLocation[referenceLocation.length - 1]);
   }
-  createGroupAtLocation(location, size4, options, gridview = this.gridview) {
+  createGroupAtLocation(location2, size4, options, gridview = this.gridview) {
     const group = this.createGroup(options);
-    this.doAddGroup(group, location, size4, gridview);
+    this.doAddGroup(group, location2, size4, gridview);
     this.setGroupLocationForRoot(group, gridview);
     return group;
   }
@@ -86142,9 +86142,9 @@ var DockviewComponent = class extends BaseGrid {
     var _Array$from$find;
     return (_Array$from$find = Array.from(this._groups.values()).find((group) => group.value.model.containsPanel(panel))) === null || _Array$from$find === void 0 ? void 0 : _Array$from$find.value;
   }
-  orientationAtLocation(location) {
+  orientationAtLocation(location2) {
     const rootOrientation = this.gridview.orientation;
-    return location.length % 2 == 1 ? rootOrientation : orthogonal(rootOrientation);
+    return location2.length % 2 == 1 ? rootOrientation : orthogonal(rootOrientation);
   }
   updateTheme() {
     var _this$_options$theme, _this$_shellThemeClas, _theme$gap, _this$_popoutWindowSe25, _this$_popoutWindowSe26, _this$_shellManager5, _theme$edgeGroupColla, _theme$tabGroupIndica;