@veltra/desktop 1.3.10 → 1.5.0

package/dist/node_modules/.bun/{@codemirror_view@6.43.4 → @codemirror_view@6.43.8}/node_modules/@codemirror/view/dist/index.js

@@ -1,8 +1,8 @@
-import { Annotation, ChangeSet, CharCategory, EditorSelection, EditorState, Facet, MapMode, Prec, RangeSet, RangeSetBuilder, RangeValue, StateEffect, StateField, Text, Transaction, codePointAt, codePointSize, combineConfig, countColumn, findClusterBreak, findColumn } from "../../../../../@codemirror_state@6.7.0/node_modules/@codemirror/state/dist/index.js";
+import { Annotation, ChangeSet, CharCategory, EditorSelection, EditorState, Facet, MapMode, Prec, RangeSet, RangeSetBuilder, RangeValue, StateEffect, StateField, Text, Transaction, codePointAt, codePointSize, combineConfig, countColumn, findClusterBreak, findColumn } from "../../../../../@codemirror_state@6.7.1/node_modules/@codemirror/state/dist/index.js";
 import { StyleModule } from "../../../../../style-mod@4.1.3/node_modules/style-mod/src/style-mod.js";
 import { base, keyName, shift } from "../../../../../w3c-keyname@2.2.8/node_modules/w3c-keyname/index.js";
 import crelt from "../../../../../crelt@1.0.6/node_modules/crelt/index.js";
-//#region ../../node_modules/.bun/@codemirror+view@6.43.4/node_modules/@codemirror/view/dist/index.js
+//#region ../../node_modules/.bun/@codemirror+view@6.43.8/node_modules/@codemirror/view/dist/index.js
 let nav = typeof navigator != "undefined" ? navigator : {
 	userAgent: "",
 	vendor: "",
@@ -438,8 +438,10 @@ function scanFor(node, off, targetNode, targetOff, dir) {
 function maxOffset(node) {
 	return node.nodeType == 3 ? node.nodeValue.length : node.childNodes.length;
 }
-function flattenRect(rect, left) {
-	let x = left ? rect.left : rect.right;
+function flattenRect(rect, toLeft) {
+	let { left, right } = rect;
+	if (left == right) return rect;
+	let x = toLeft ? left : right;
 	return {
 		left: x,
 		right: x,
@@ -583,27 +585,34 @@ var DOMSelectionState = class {
 		this.focusOffset = focusOffset;
 	}
 };
+function getScrollStack(target) {
+	let stack = [];
+	for (let cur = target; cur; cur = cur.nodeType == 11 ? cur.host : cur.parentNode) if (cur.nodeType == 1) stack.push({
+		node: cur,
+		left: cur.scrollLeft,
+		top: cur.scrollTop
+	});
+	return stack;
+}
+function restoreScrollStack(stack, vert = true) {
+	for (let { node, left, top } of stack) {
+		if (vert && node.scrollTop != top) node.scrollTop = top;
+		if (node.scrollLeft != left) node.scrollLeft = left;
+	}
+}
 let preventScrollSupported = null;
 if (browser.safari && browser.safari_version >= 26) preventScrollSupported = false;
 function focusPreventScroll(dom) {
 	if (dom.setActive) return dom.setActive();
 	if (preventScrollSupported) return dom.focus(preventScrollSupported);
-	let stack = [];
-	for (let cur = dom; cur; cur = cur.parentNode) {
-		stack.push(cur, cur.scrollTop, cur.scrollLeft);
-		if (cur == cur.ownerDocument) break;
-	}
+	let stack = getScrollStack(dom);
 	dom.focus(preventScrollSupported == null ? { get preventScroll() {
 		preventScrollSupported = { preventScroll: true };
 		return true;
 	} } : void 0);
 	if (!preventScrollSupported) {
 		preventScrollSupported = false;
-		for (let i = 0; i < stack.length;) {
-			let elt = stack[i++], top = stack[i++], left = stack[i++];
-			if (elt.scrollTop != top) elt.scrollTop = top;
-			if (elt.scrollLeft != left) elt.scrollLeft = left;
-		}
+		restoreScrollStack(stack);
 	}
 }
 let scratchRange;
@@ -1419,7 +1428,7 @@ var Tile = class {
 	covers(side) {
 		return true;
 	}
-	coordsIn(pos, side) {
+	coordsIn(pos, side, rtl) {
 		return null;
 	}
 	domPosFor(off, side) {
@@ -1600,10 +1609,10 @@ var LineTile = class LineTile extends CompositeTile {
 				let child = tile.children[i], end = off + child.length;
 				if (end >= pos) {
 					if (child.isComposite()) scan(child, pos - off);
-					else if ((!after || after.isHidden && (side > 0 || forCoords && onSameLine(after, child))) && (end > pos || child.flags & 32)) {
+					else if ((!after || after.isHidden && (side > 0 && !(after.flags & 32) || forCoords && onSameLine(after, child))) && (end > pos || child.flags & 32 && side <= 1)) {
 						after = child;
 						afterOff = pos - off;
-					} else if (off < pos || child.flags & 16 && !child.isHidden) {
+					} else if (off < pos || child.flags & 16 && !child.isHidden && side >= -1) {
 						before = child;
 						beforeOff = pos - off;
 					}
@@ -1618,10 +1627,10 @@ var LineTile = class LineTile extends CompositeTile {
 			offset: target == before ? beforeOff : afterOff
 		} : null;
 	}
-	coordsIn(pos, side) {
+	coordsIn(pos, side, rtl) {
 		let found = this.resolveInline(pos, side, true);
 		if (!found) return fallbackRect(this);
-		return found.tile.coordsIn(Math.max(0, found.offset), side);
+		return found.tile.coordsIn(Math.max(0, found.offset), side, rtl);
 	}
 	domIn(pos, side) {
 		let found = this.resolveInline(pos, side);
@@ -1683,7 +1692,7 @@ var TextTile = class TextTile extends Tile {
 	toString() {
 		return JSON.stringify(this.text);
 	}
-	coordsIn(pos, side) {
+	coordsIn(pos, side, rtl) {
 		let length = this.dom.nodeValue.length;
 		if (pos > length) pos = length;
 		let from = pos, to = pos, flatten = 0;
@@ -1703,7 +1712,7 @@ var TextTile = class TextTile extends Tile {
 		if (!rects.length) return null;
 		let rect = rects[(flatten ? flatten < 0 : side >= 0) ? 0 : rects.length - 1];
 		if (browser.safari && !flatten && rect.width == 0) rect = Array.prototype.find.call(rects, (r) => r.width) || rect;
-		return flatten ? flattenRect(rect, flatten < 0) : rect || null;
+		return rtl == null ? rect : flattenRect(rect, (flatten ? flatten > 0 : side < 0) == rtl);
 	}
 	static of(text, dom) {
 		let tile = new TextTile(dom || document.createTextNode(text), text);
@@ -1776,8 +1785,9 @@ var WidgetBufferTile = class extends Tile {
 	get overrideDOMText() {
 		return Text.empty;
 	}
-	coordsIn(pos) {
-		return this.dom.getBoundingClientRect();
+	coordsIn(pos, side, rtl) {
+		let rect = this.dom.getBoundingClientRect();
+		return rtl == null ? rect : flattenRect(rect, side > 0 == rtl);
 	}
 };
 var TilePointer = class {
@@ -1789,18 +1799,20 @@ var TilePointer = class {
 	}
 	advance(dist, side, walker) {
 		let { tile, index, beforeBreak, parents } = this;
-		while (dist || side > 0) if (!tile.isComposite()) if (index == tile.length) {
-			beforeBreak = !!tile.breakAfter;
-			({tile, index} = parents.pop());
-			index++;
-		} else if (!dist) break;
-		else {
-			let take = Math.min(dist, tile.length - index);
-			if (walker) walker.skip(tile, index, index + take);
-			dist -= take;
-			index += take;
-		}
-		else if (beforeBreak) {
+		while (dist || side > 0) if (!tile.isComposite()) {
+			let len = tile.length;
+			if (index < len && dist) {
+				let take = Math.min(dist, len - index);
+				if (walker) walker.skip(tile, index, index + take);
+				dist -= take;
+				index += take;
+			}
+			if (index == len) {
+				beforeBreak = !!tile.breakAfter;
+				({tile, index} = parents.pop());
+				index++;
+			} else if (!dist) break;
+		} else if (beforeBreak) {
 			if (!dist) break;
 			if (walker) walker.break();
 			dist--;
@@ -2075,7 +2087,7 @@ var TileCache = class {
 	find(cls, test, type = 2) {
 		let i = cls.bucket;
 		let bucket = this.buckets[i], off = this.index[i];
-		for (let j = bucket.length - 1; j >= 0; j--) {
+		for (let j = 0; j < bucket.length; j++) {
 			let index = (j + off) % bucket.length, tile = bucket[index];
 			if ((!test || test(tile)) && !this.reused.has(tile)) {
 				bucket.splice(index, 1);
@@ -2236,7 +2248,7 @@ var TileUpdate = class {
 	}
 	emit(from, to) {
 		let pendingLineAttrs = null;
-		let b = this.builder, markCount = 0;
+		let b = this.builder, markCount = -1;
 		let openEnd = RangeSet.spans(this.decorations, from, to, {
 			point: (from, to, deco, active, openStart, index) => {
 				if (deco instanceof PointDecoration) {
@@ -2279,7 +2291,7 @@ var TileUpdate = class {
 				markCount = active.length;
 			}
 		});
-		this.openWidget = openEnd > markCount;
+		if (markCount > -1) this.openWidget = openEnd > markCount;
 		if (!this.openWidget) b.addLineStartIfNotCovered(pendingLineAttrs);
 		this.openMarks = openEnd;
 	}
@@ -2583,7 +2595,7 @@ var DocView = class {
 	}
 	domAtPos(pos, side) {
 		let { tile, offset } = this.tile.resolveBlock(pos, side);
-		if (tile.isWidget()) return tile.domPosFor(pos, side);
+		if (tile.isWidget()) return tile.domPosFor(offset, side);
 		return tile.domIn(offset, side);
 	}
 	inlineDOMNearPos(pos, side) {
@@ -2613,13 +2625,13 @@ var DocView = class {
 		else if (afterBad && before) after = null;
 		return before && side < 0 || !after ? before.domIn(beforeOff, side) : after.domIn(afterOff, side);
 	}
-	coordsAt(pos, side) {
+	coordsAt(pos, side, rtl) {
 		let { tile, offset } = this.tile.resolveBlock(pos, side);
 		if (tile.isWidget()) {
 			if (tile.widget instanceof BlockGapWidget) return null;
 			return tile.coordsInWidget(offset, side, true);
 		}
-		return tile.coordsIn(offset, side);
+		return tile.coordsIn(offset, side, rtl);
 	}
 	lineAt(pos, side) {
 		let { tile } = this.tile.resolveBlock(pos, side);
@@ -2775,7 +2787,6 @@ var DocView = class {
 		this.blockWrappers = this.view.state.facet(blockWrappers).map((v) => typeof v == "function" ? v(this.view) : v);
 	}
 	scrollIntoView(target) {
-		var _a;
 		if (target.isSnapshot) {
 			let ref = this.view.viewState.lineBlockAt(target.range.head);
 			this.view.scrollDOM.scrollTop = ref.top - target.yMargin;
@@ -2788,7 +2799,7 @@ var DocView = class {
 			logException(this.view.state, e, "scroll handler");
 		}
 		let { range } = target;
-		let rect = this.coordsAt(range.head, (_a = range.assoc) !== null && _a !== void 0 ? _a : range.empty ? 0 : range.head > range.anchor ? -1 : 1), other;
+		let rect = this.coordsAt(range.head, range.assoc || (range.head > range.anchor ? -1 : 1)), other;
 		if (!rect) return;
 		if (!range.empty && (other = this.coordsAt(range.anchor, range.anchor > range.head ? -1 : 1))) rect = {
 			left: Math.min(rect.left, other.left),
@@ -2805,9 +2816,13 @@ var DocView = class {
 		};
 		let { offsetWidth, offsetHeight } = this.view.scrollDOM;
 		scrollRectIntoView(this.view.scrollDOM, targetRect, range.head < range.anchor ? -1 : 1, target.x, target.y, Math.max(Math.min(target.xMargin, offsetWidth), -offsetWidth), Math.max(Math.min(target.yMargin, offsetHeight), -offsetHeight), this.view.textDirection == Direction.LTR);
-		if (window.visualViewport && window.innerHeight - window.visualViewport.height > 1 && (rect.top > window.pageYOffset + window.visualViewport.offsetTop + window.visualViewport.height || rect.bottom < window.pageYOffset + window.visualViewport.offsetTop)) {
+		if (window.visualViewport && window.innerHeight - window.visualViewport.height > 1 && (rect.top > window.visualViewport.offsetTop + window.visualViewport.height || rect.bottom < window.visualViewport.offsetTop)) {
 			let line = this.view.docView.lineAt(range.head, 1);
-			if (line) line.dom.scrollIntoView({ block: "nearest" });
+			if (line) {
+				let stack = getScrollStack(line.dom);
+				line.dom.scrollIntoView({ block: "nearest" });
+				restoreScrollStack(stack, false);
+			}
 		}
 	}
 	lineHasWidget(pos) {
@@ -3165,21 +3180,20 @@ var InlineCoordsScan = class {
 		search: while (lo < hi) {
 			let dist = hi - lo, mid = lo + hi >> 1;
 			adjust: if (seen.has(mid)) {
-				let scan = lo + Math.floor(Math.random() * dist);
-				for (let i = 0; i < dist; i++) {
+				for (let i = 1; i < dist; i++) {
+					let scan = mid + i;
+					if (scan >= hi) scan -= dist;
 					if (!seen.has(scan)) {
 						mid = scan;
 						break adjust;
 					}
-					scan++;
-					if (scan == hi) scan = lo;
 				}
 				break search;
 			}
 			seen.add(mid);
-			let rects = getRects(mid);
+			let rects = getRects(mid), side = 0;
 			if (rects) for (let i = 0; i < rects.length; i++) {
-				let rect = rects[i], side = 0;
+				let rect = rects[i];
 				if (rect.width == 0 && rects.length > 1) continue;
 				if (rect.bottom < this.y) {
 					if (!above || above.bottom < rect.bottom) above = rect;
@@ -3197,9 +3211,9 @@ var InlineCoordsScan = class {
 					}
 					if (off) side = off < 0 == (this.baseDir == Direction.LTR) ? -1 : 1;
 				}
-				if (side == -1 && (!bidi || this.baseDirAt(positions[mid], 1))) hi = mid;
-				else if (side == 1 && (!bidi || this.baseDirAt(positions[mid + 1], -1))) lo = mid + 1;
 			}
+			if (side == -1 && (!bidi || this.baseDirAt(positions[mid], 1))) hi = mid;
+			else if (side == 1 && (!bidi || this.baseDirAt(positions[mid + 1], -1))) lo = mid + 1;
 		}
 		if (!closestRect) {
 			if (!below && !above) return {
@@ -3624,6 +3638,7 @@ var InputState = class {
 		this.view = view;
 		this.lastKeyCode = 0;
 		this.lastKeyTime = 0;
+		this.touchActive = false;
 		this.lastTouchTime = 0;
 		this.lastTouchX = 0;
 		this.lastTouchY = 0;
@@ -3632,6 +3647,7 @@ var InputState = class {
 		this.lastScrollLeft = 0;
 		this.lastWheelEvent = 0;
 		this.pendingIOSKey = void 0;
+		this.lastIOSMomentumScroll = 0;
 		this.tabFocusMode = -1;
 		this.lastSelectionOrigin = null;
 		this.lastSelectionTime = 0;
@@ -3990,8 +4006,10 @@ function doPaste(view, input) {
 	});
 }
 observers.scroll = (view) => {
-	view.inputState.lastScrollTop = view.scrollDOM.scrollTop;
-	view.inputState.lastScrollLeft = view.scrollDOM.scrollLeft;
+	let iState = view.inputState;
+	iState.lastScrollTop = view.scrollDOM.scrollTop;
+	iState.lastScrollLeft = view.scrollDOM.scrollLeft;
+	if (browser.ios && !iState.touchActive) iState.lastIOSMomentumScroll = Date.now();
 };
 observers.wheel = observers.mousewheel = (view) => {
 	view.inputState.lastWheelEvent = Date.now();
@@ -4003,6 +4021,7 @@ handlers.keydown = (view, event) => {
 };
 observers.touchstart = (view, e) => {
 	let iState = view.inputState, touch = e.targetTouches[0];
+	iState.touchActive = true;
 	iState.lastTouchTime = Date.now();
 	if (touch) {
 		iState.lastTouchX = touch.clientX;
@@ -4013,6 +4032,9 @@ observers.touchstart = (view, e) => {
 observers.touchmove = (view) => {
 	view.inputState.setSelectionOrigin("select.pointer");
 };
+observers.touchend = (view, e) => {
+	view.inputState.touchActive = false;
+};
 handlers.mousedown = (view, event) => {
 	view.observer.flush();
 	if (view.inputState.lastTouchTime > Date.now() - 2e3) return false;
@@ -5279,7 +5301,7 @@ var ViewState = class {
 		let { top } = this.heightMap.lineAt(from, QueryType.ByPos, this.heightOracle, 0, 0);
 		let { bottom } = this.heightMap.lineAt(to, QueryType.ByPos, this.heightOracle, 0, 0);
 		let { visibleTop, visibleBottom } = this;
-		return (from == 0 || top <= visibleTop - Math.max(10, Math.min(-bias, 250))) && (to == this.state.doc.length || bottom >= visibleBottom + Math.max(10, Math.min(bias, 250))) && top > visibleTop - 2 * 1e3 && bottom < visibleBottom + 2 * 1e3;
+		return (from == 0 || top <= visibleTop - Math.max(10, Math.min(-bias, 250))) && (to == this.state.doc.length || bottom >= visibleBottom + Math.max(10, Math.min(bias, 250))) && top > visibleTop - 2e3 && bottom < visibleBottom + 2e3;
 	}
 	mapLineGaps(gaps, changes) {
 		if (!gaps.length || changes.empty) return gaps;
@@ -5714,6 +5736,8 @@ const baseTheme$1 = /*@__PURE__*/ buildTheme("." + baseThemeID, {
 		backgroundColor: "#f5f5f5",
 		color: "black"
 	},
+	".cm-panels-top": { top: "0" },
+	".cm-panels-bottom": { bottom: "0" },
 	"&light .cm-panels-top": { borderBottom: "1px solid #ddd" },
 	"&light .cm-panels-bottom": { borderTop: "1px solid #ddd" },
 	"&dark .cm-panels": {
@@ -6338,7 +6362,7 @@ var EditContextManager = class {
 	}
 	rangeIsValid(state) {
 		let { head } = state.selection.main;
-		return !(this.from > 0 && head - this.from < 500 || this.to < state.doc.length && this.to - head < 500 || this.to - this.from > 1e4 * 3);
+		return !(this.from > 0 && head - this.from < 500 || this.to < state.doc.length && this.to - head < 500 || this.to - this.from > 3e4);
 	}
 	toEditorPos(contextPos, clipLen = this.to - this.from) {
 		contextPos = Math.min(contextPos, clipLen);
@@ -6699,7 +6723,7 @@ var EditorView = class EditorView {
 						continue;
 					} else {
 						let diff = ((scrollAnchorPos < 0 ? this.viewState.heightMap.height : this.viewState.lineBlockAt(scrollAnchorPos).top) - scrollAnchorHeight) / this.scaleY;
-						if ((diff > 1 || diff < -1) && (scroll == this.scrollDOM || this.hasFocus || Math.max(this.inputState.lastWheelEvent, this.inputState.lastTouchTime) > Date.now() - 100)) {
+						if ((diff > 1 || diff < -1) && !(browser.ios && this.inputState.lastIOSMomentumScroll > Date.now() - 100) && (scroll == this.scrollDOM || this.hasFocus || Math.max(this.inputState.lastWheelEvent, this.inputState.lastTouchTime) > Date.now() - 100)) {
 							scrollOffset = scrollOffset + diff;
 							if (scroll) scroll.scrollTop += diff;
 							else this.win.scrollBy(0, diff);
@@ -6976,11 +7000,9 @@ var EditorView = class EditorView {
 	*/
 	coordsAtPos(pos, side = 1) {
 		this.readMeasured();
-		let rect = this.docView.coordsAt(pos, side);
-		if (!rect || rect.left == rect.right) return rect;
 		let line = this.state.doc.lineAt(pos), order = this.bidiSpans(line);
 		let span = order[BidiSpan.find(order, pos - line.from, -1, side)];
-		return flattenRect(rect, span.dir == Direction.LTR == side > 0);
+		return this.docView.coordsAt(pos, side, span.dir == Direction.RTL);
 	}
 	/**
 	Return the rectangle around a given character. If `pos` does not
@@ -7575,7 +7597,7 @@ let currentKeyEvent = null;
 function runHandlers(map, event, view, scope) {
 	currentKeyEvent = event;
 	let name = keyName(event);
-	let isChar = codePointSize(codePointAt(name, 0)) == name.length && name != " ";
+	let charCode = codePointAt(name, 0), isChar = codePointSize(charCode) == name.length && name != " ";
 	let prefix = "", handled = false, prevented = false, stopPropagation = false;
 	if (storedPrefix && storedPrefix.view == view && storedPrefix.scope == scope) {
 		prefix = storedPrefix.prefix + " ";
@@ -7924,9 +7946,10 @@ const selectionLayer = /*@__PURE__*/ layer({
 	},
 	class: "cm-selectionLayer"
 });
+const selectionBg = browser.gecko && browser.gecko_version == 153 ? "#ffffff01" : "transparent";
 const hideNativeSelection = /*@__PURE__*/ Prec.highest(/*@__PURE__*/ EditorView.theme({
 	".cm-line": {
-		"& ::selection, &::selection": { backgroundColor: "transparent !important" },
+		"& ::selection, &::selection": { backgroundColor: `${selectionBg} !important` },
 		caretColor: "transparent !important"
 	},
 	".cm-content": {
@@ -9187,7 +9210,6 @@ var PanelGroup = class {
 		if (!this.dom) {
 			this.dom = document.createElement("div");
 			this.dom.className = this.top ? "cm-panels cm-panels-top" : "cm-panels cm-panels-bottom";
-			this.dom.style[this.top ? "top" : "bottom"] = "0";
 			let parent = this.container || this.view.dom;
 			parent.insertBefore(this.dom, this.top ? parent.firstChild : null);
 		}