datafolder 1.0.10 → 1.0.12

package/static/codemirror.bundle/editor.bundle.js

@@ -4315,6 +4315,7 @@
       chrome_version: chrome ? +chrome[1] : 0,
       ios,
       android: /*@__PURE__*//Android\b/.test(nav.userAgent),
+      webkit,
       webkit_version: webkit ? +(/*@__PURE__*//\bAppleWebKit\/(\d+)/.exec(nav.userAgent) || [0, 0])[1] : 0,
       safari,
       safari_version: safari ? +(/*@__PURE__*//\bVersion\/(\d+(\.\d+)?)/.exec(nav.userAgent) || [0, 0])[1] : 0,
@@ -4833,12 +4834,12 @@
               }
               let moveX = 0, moveY = 0;
               if (y == "nearest") {
-                  if (rect.top < bounding.top) {
+                  if (rect.top < bounding.top + yMargin) {
                       moveY = rect.top - (bounding.top + yMargin);
                       if (side > 0 && rect.bottom > bounding.bottom + moveY)
                           moveY = rect.bottom - bounding.bottom + yMargin;
                   }
-                  else if (rect.bottom > bounding.bottom) {
+                  else if (rect.bottom > bounding.bottom - yMargin) {
                       moveY = rect.bottom - bounding.bottom + yMargin;
                       if (side < 0 && (rect.top - moveY) < bounding.top)
                           moveY = rect.top - (bounding.top + yMargin);
@@ -4852,12 +4853,12 @@
                   moveY = targetTop - bounding.top;
               }
               if (x == "nearest") {
-                  if (rect.left < bounding.left) {
+                  if (rect.left < bounding.left + xMargin) {
                       moveX = rect.left - (bounding.left + xMargin);
                       if (side > 0 && rect.right > bounding.right + moveX)
                           moveX = rect.right - bounding.right + xMargin;
                   }
-                  else if (rect.right > bounding.right) {
+                  else if (rect.right > bounding.right - xMargin) {
                       moveX = rect.right - bounding.right + xMargin;
                       if (side < 0 && rect.left < bounding.left + moveX)
                           moveX = rect.left - (bounding.left + xMargin);
@@ -5597,7 +5598,7 @@
   });
   const scrollHandler = /*@__PURE__*/Facet.define();
   class ScrollTarget {
-      constructor(range, y = "nearest", x = "nearest", yMargin = 5, xMargin = 5, 
+      constructor(range, y, x, yMargin, xMargin, 
       // This data structure is abused to also store precise scroll
       // snapshots, instead of a `scrollIntoView` request. When this
       // flag is `true`, `range` points at a position in the reference
@@ -8194,6 +8195,18 @@
               this.y = (side.top + side.bottom) / 2;
               return this.scan(positions, getRects);
           }
+          // Handle the case where closest matched a higher element on the
+          // same line as an element below/above the coords
+          if (closestDx) {
+              if (above && above.bottom > closestRect.top) {
+                  this.y = above.bottom - 1;
+                  return this.scan(positions, getRects);
+              }
+              if (below && below.top < closestRect.bottom) {
+                  this.y = below.top + 1;
+                  return this.scan(positions, getRects);
+              }
+          }
           let ltr = (bidi ? this.dirAt(positions[closestI], 1) : this.baseDir) == Direction.LTR;
           return {
               i: closestI,
@@ -12210,7 +12223,8 @@
                       scrollTarget = scrollTarget.map(tr.changes);
                   if (tr.scrollIntoView) {
                       let { main } = tr.state.selection;
-                      scrollTarget = new ScrollTarget(main.empty ? main : EditorSelection.cursor(main.head, main.head > main.anchor ? -1 : 1));
+                      let { x, y } = this.state.facet(EditorView.cursorScrollMargin);
+                      scrollTarget = new ScrollTarget(main.empty ? main : EditorSelection.cursor(main.head, main.head > main.anchor ? -1 : 1), "nearest", "nearest", y, x);
                   }
                   for (let e of tr.effects)
                       if (e.is(scrollIntoView$1))
@@ -12867,7 +12881,8 @@
       cause it to scroll the given position or range into view.
       */
       static scrollIntoView(pos, options = {}) {
-          return scrollIntoView$1.of(new ScrollTarget(typeof pos == "number" ? EditorSelection.cursor(pos) : pos, options.y, options.x, options.yMargin, options.xMargin));
+          var _a, _b, _c, _d;
+          return scrollIntoView$1.of(new ScrollTarget(typeof pos == "number" ? EditorSelection.cursor(pos) : pos, (_a = options.y) !== null && _a !== void 0 ? _a : "nearest", (_b = options.x) !== null && _b !== void 0 ? _b : "nearest", (_c = options.yMargin) !== null && _c !== void 0 ? _c : 5, (_d = options.xMargin) !== null && _d !== void 0 ? _d : 5));
       }
       /**
       Return an effect that resets the editor to its current (at the
@@ -13126,11 +13141,30 @@
   */
   EditorView.bidiIsolatedRanges = bidiIsolatedRanges;
   /**
+  Can be used to specify the distance that scrolling cursor into
+  view keeps it away from the sides of the editor, either as a
+  single pixel number or two different values for the different
+  axes. Defaults to 5 pixels on both axes.
+  */
+  EditorView.cursorScrollMargin = /*@__PURE__*/Facet.define({
+      combine: inputs => {
+          let x = 5, y = 5;
+          for (let i of inputs) {
+              if (typeof i == "number")
+                  x = y = i;
+              else
+                  ({ x, y } = i);
+          }
+          return { x, y };
+      }
+  });
+  /**
   Facet that allows extensions to provide additional scroll
   margins (space around the sides of the scrolling element that
   should be considered invisible). This can be useful when the
   plugin introduces elements that cover part of that element (for
-  example a horizontally fixed gutter).
+  example a horizontally fixed gutter). Not to be confused with
+  [`cursorScrollMargin`](https://codemirror.net/6/docs/ref/#view.EditorView^cursorScrollMargin).
   */
   EditorView.scrollMargins = scrollMargins;
   /**
@@ -13666,7 +13700,7 @@
                   old = next;
               }
               this.drawn = markers;
-              if (browser.safari && browser.safari_version >= 26) // Issue #1600, 1627
+              if (browser.webkit) // Issue #1600, 1627, 1686
                   this.dom.style.display = this.dom.firstChild ? "" : "none";
           }
       }

package/static/datafolderui/QyUIFolderViewer.js

@@ -160,11 +160,7 @@ class t extends HTMLElement {
             } = n = this;
             i.hidden = !0, r.hidden = !1, e || n.codeMirrorDiv.append(e = n.code_mirror = c("code-mirror")), 
             t || n.codeMirrorDiv.append(t = n.code_mirror2 = c("code-mirror"));
-            var {
-                fileNamePath: n,
-                propNamePathList: s,
-                modCode: l
-            } = s;
+            var [ n, s, l ] = s;
             e.text = JSON.stringify({
                 fileNamePath: n,
                 propNamePathList: s