@jsenv/navi 0.30.23 → 0.30.25

package/dist/dev/jsenv_navi.js

@@ -28608,7 +28608,11 @@ ${[idKey, ...uniqueKeys].join(", ")}`,
    * (docs/resource.md).
    */
   const upsertAnswer = (...args) => upsertWith(args, true);
-  const drop = (...args) => {
+  // Batched like upsertWith: a removal observer may drop rows of another
+  // store (a `.one()` declared with `onDelete: "cascade"`), and an effect
+  // reading both runs once, never between the child leaving and its parents.
+  const drop = (...args) => batch(() => dropNow(...args));
+  const dropNow = (...args) => {
     const removedItemArray = [];
     const triggerRemovedMutations = () => {
       if (removedItemArray.length === 0) {
@@ -28643,6 +28647,7 @@ ${[idKey, ...uniqueKeys].join(", ")}`,
           hasFound = true;
           idToRemoveSet.delete(existingItemId);
           idRemovedArray.push(existingItemId);
+          removedItemArray.push(existingItem);
         } else {
           arrayWithoutDroppedItems.push(existingItem);
         }
@@ -30753,6 +30758,15 @@ const createResource = (
    * The property is reactive: updating the child item anywhere propagates immediately.
    * The child resource exists independently — it is not owned by, nor deleted with, the parent.
    *
+   * The other way round is declared with `onDelete`. Left out, a parent outlives its
+   * child: once the child leaves its store, the property reads an empty object (truthy,
+   * `valueOf()` is `null`, no fields) until the parent is read again — a game whose
+   * organizer is deleted is still a game. `onDelete: "cascade"` is for a parent that is
+   * nothing without its child (an address-book row, the person in it): when the child
+   * leaves its store, the parents pointing at it leave theirs in the same write, and
+   * with them every list holding them. Which one a relation needs is decided in
+   * docs/resource.md, "When the child is deleted".
+   *
    * Use it when the child is a first-class entity with its own store, shared across
    * parents (a user referenced by many games). When the child only exists inside its
    * owner, use `.scopedOne()` instead.
@@ -30772,7 +30786,12 @@ const createResource = (
    *
    * @param {string} propertyName - property holding the child on each parent item
    * @param {Object} childResource - the independent resource created by `resource()`
-   * @param {Object} [restCallbacks] - `{ rerunOn, dependencies, GET, PUT, DELETE }`
+   * @param {Object} [restCallbacks] - `{ rerunOn, dependencies, onDelete, GET, PUT, DELETE }`
+   * @param {"cascade"} [restCallbacks.onDelete] - `"cascade"`: a parent leaves its store
+   *   when its child leaves the child's (the child's `DELETE`, `DELETE_MANY`, a write
+   *   named with verb `DELETE`, a cascade of its own). Not the relation's own `DELETE`,
+   *   which unlinks: the property becomes `null` and the parent stays. Throws on a
+   *   relation declared on a scoped child.
    * @see docs/resource.md
    */
   stateFacade.one = (
@@ -30781,6 +30800,7 @@ const createResource = (
     {
       rerunOn: oneRerunOn,
       dependencies: oneDependencies,
+      onDelete,
 
       GET,
       PUT,
@@ -30788,16 +30808,54 @@ const createResource = (
     } = {},
   ) => {
     const declarationSite = getDeclarationSite();
+    const relationLabel = `${name}.one("${propertyName}")`;
     if (ownerName) {
       refuseCallbacksNamingScopedItem(
-        `${name}.one("${propertyName}")`,
+        relationLabel,
         { GET, PUT, DELETE },
         { name, ownerName, propertyName, declarationSite },
       );
     }
+    if (onDelete !== undefined && onDelete !== "cascade") {
+      throw new TypeError(
+        `${relationLabel}: onDelete must be "cascade" or left out, got ${onDelete}.
+${relationLabel} source location: ${declarationSite}`,
+      );
+    }
+    const cascade = onDelete === "cascade";
+    if (cascade && ownerName) {
+      // A scoped item lives in its owner's collection, not in a store this
+      // relation could drop it from.
+      throw new Error(
+        `${relationLabel} cannot declare onDelete: "cascade": a "${name}" item exists only inside its "${ownerName}", and leaves through the "${ownerName}" callbacks.
+Read the "${ownerName}" again after the "${childResource.name}" is deleted (dependencies).
+${relationLabel} source location: ${declarationSite}`,
+      );
+    }
     const childName = `${name}.${propertyName}`;
     const childIdKey = childResource.idKey;
     const childStore = childResource.store;
+    // The id each parent points at, carried by the parent row (copies of a row
+    // keep it, a spread does not): a removal is matched against the parents
+    // the store holds at that moment, under the ids they have then.
+    const childIdSymbol = cascade ? Symbol(`${childName} id`) : undefined;
+    if (cascade) {
+      childStore.observeRemovals((removedChildArray) => {
+        const removedChildIdSet = new Set();
+        for (const removedChild of removedChildArray) {
+          removedChildIdSet.add(removedChild[childIdKey]);
+        }
+        const orphanIdArray = [];
+        for (const parentItem of store.arraySignal.peek()) {
+          if (removedChildIdSet.has(parentItem[childIdSymbol])) {
+            orphanIdArray.push(parentItem[idKey]);
+          }
+        }
+        if (orphanIdArray.length > 0) {
+          store.drop(orphanIdArray);
+        }
+      });
+    }
     addItemSetup((item, answer) => {
       const childItemIdSignal = signal();
       const updateChildItemId = (value, answer) => {
@@ -30852,6 +30910,11 @@ const createResource = (
         get: () => childItemFacadeSignal.value,
         set: updateChildItemId,
       });
+      if (cascade) {
+        Object.defineProperty(item, childIdSymbol, {
+          get: () => childItemIdSignal.peek(),
+        });
+      }
       debug$2(
         `setup ${item}.${propertyName} is one "${childResource.name}" (current value: ${childItemSignal.peek()})`,
       );
@@ -39453,10 +39516,12 @@ const barsOutside = (areaElement) => {
 };
 
 // Room around what a bar's picture holds for what paints past every box — a
-// shadow, the blur of a wall — which no API measures: a filter cuts whatever
+// shadow, the bar's own filter — which no API measures: a filter cuts whatever
 // falls outside its region.
 const WALL_FILTER_INK_ROOM = 100;
 const SVG_NS = "http://www.w3.org/2000/svg";
+// A blur() in a computed filter, its radius in px.
+const BLUR_FUNCTION_REGEXP = /blur\(([^)]*)\)/g;
 
 // The bar's picture dimmed, not a rectangle over it: each wall's colour is
 // flooded atop the bar's own pixels (Porter-Duff source-atop, which no blend
@@ -39484,11 +39549,17 @@ const dimBarPicture = (bar, sources) => {
   const ownFilter = getComputedStyle(bar).filter;
   const chain = ownFilter === "none" ? [] : [ownFilter];
   for (const source of sources) {
-    const backdropFilter = getComputedStyle(source)
-      .getPropertyValue("--backdrop-filter")
-      .trim();
-    if (backdropFilter && backdropFilter !== "none") {
-      chain.push(backdropFilter);
+    const backdropFilter = readBackdropFilter(source);
+    if (backdropFilter !== "none") {
+      // Blurred alone, the bar would fade to transparent over its edges and
+      // show the live document through them: its blur stays inside its shape.
+      chain.push(
+        backdropFilter.replace(
+          BLUR_FUNCTION_REGEXP,
+          (_, radius) =>
+            `url(#${createShapeBlurFilter(parseFloat(radius), region).id})`,
+        ),
+      );
     }
     chain.push(`url(#${createWallFilter(source, region).id})`);
   }
@@ -39497,7 +39568,59 @@ const dimBarPicture = (bar, sources) => {
   dimmedBars.push(bar);
 };
 
+// The wall's backdrop-filter as computed, so a blur radius written in em or
+// rem reads in px, as the wall resolves it where it paints.
+const readBackdropFilter = (source) => {
+  const sourceStyle = getComputedStyle(source);
+  const backdropFilter = sourceStyle
+    .getPropertyValue("--backdrop-filter")
+    .trim();
+  if (!backdropFilter || backdropFilter === "none") {
+    return "none";
+  }
+  const probe = document.createElement("div");
+  probe.style.fontSize = sourceStyle.fontSize;
+  probe.style.filter = backdropFilter;
+  document.body.append(probe);
+  const filter = getComputedStyle(probe).filter;
+  probe.remove();
+  return filter;
+};
+
 const createWallFilter = (source, region) => {
+  const filter = createFilter(region);
+  const flood = document.createElementNS(SVG_NS, "feFlood");
+  flood.setAttribute("flood-color", readBackdropColor(source));
+  const composite = document.createElementNS(SVG_NS, "feComposite");
+  composite.setAttribute("in2", "SourceGraphic");
+  composite.setAttribute("operator", "atop");
+  filter.append(flood, composite);
+  return filter;
+};
+
+// Colour kept, alpha set to 1.
+const OPAQUE_MATRIX = "1 0 0 0 0  0 1 0 0 0  0 0 1 0 0  0 0 0 0 1";
+
+// The wall's blur kept inside the bar. At rest the window is blurred as one
+// image; a CSS blur() on the bar sees only the bar, so its edges go half
+// transparent and its colour spreads past its box. Made opaque, each pixel is
+// the mean of the bar's own pixels around it (feColorMatrix works on
+// unpremultiplied colours), then cut back to the bar's own alpha.
+const createShapeBlurFilter = (stdDeviation, region) => {
+  const filter = createFilter(region);
+  const blur = document.createElementNS(SVG_NS, "feGaussianBlur");
+  blur.setAttribute("stdDeviation", stdDeviation);
+  const opaque = document.createElementNS(SVG_NS, "feColorMatrix");
+  opaque.setAttribute("type", "matrix");
+  opaque.setAttribute("values", OPAQUE_MATRIX);
+  const clip = document.createElementNS(SVG_NS, "feComposite");
+  clip.setAttribute("in2", "SourceAlpha");
+  clip.setAttribute("operator", "in");
+  filter.append(blur, opaque, clip);
+  return filter;
+};
+
+const createFilter = (region) => {
   if (!wallFilterSvg) {
     wallFilterSvg = document.createElementNS(SVG_NS, "svg");
     wallFilterSvg.setAttribute(WALL_FILTERS_ATTRIBUTE, "");
@@ -39507,18 +39630,13 @@ const createWallFilter = (source, region) => {
   wallFilterCount++;
   const filter = document.createElementNS(SVG_NS, "filter");
   filter.id = `navi-transition-wall-${wallFilterCount}`;
-  // linearRGB, the default, floods another colour than the wall's.
+  // linearRGB, the default, floods another colour than the wall's and blurs
+  // in another space than its backdrop-filter.
   filter.setAttribute("color-interpolation-filters", "sRGB");
   filter.setAttribute("x", region.x);
   filter.setAttribute("y", region.y);
   filter.setAttribute("width", region.width);
   filter.setAttribute("height", region.height);
-  const flood = document.createElementNS(SVG_NS, "feFlood");
-  flood.setAttribute("flood-color", readBackdropColor(source));
-  const composite = document.createElementNS(SVG_NS, "feComposite");
-  composite.setAttribute("in2", "SourceGraphic");
-  composite.setAttribute("operator", "atop");
-  filter.append(flood, composite);
   wallFilterSvg.appendChild(filter);
   return filter;
 };
@@ -42441,10 +42559,14 @@ const RouteTravel = ({
   const pages = pagesRef.current;
   const currentIndex = currentPageIndex(pages);
   // Where the page of a window stands: the address, or where it last was for an
-  // address the row has no place for.
+  // address the row has no place for, while the row still has that column.
   const liveIndexRef = useRef(0);
   if (currentIndex !== -1) {
     liveIndexRef.current = currentIndex;
+  } else if (liveIndexRef.current >= pages.length) {
+    // Past the row's end the page stands in a column of its own, off screen: a
+    // still row does not scroll, and nothing scrolls a row to an address it lacks.
+    liveIndexRef.current = pages.length === 0 ? 0 : pages.length - 1;
   }
   const liveIndex = liveIndexRef.current;
   const latestRef = useRef(null);