@codemirror/view 6.26.2 → 6.26.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +8 -0
- package/dist/index.cjs +2 -2
- package/dist/index.js +2 -2
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -1,3 +1,11 @@
|
|
|
1
|
+
## 6.26.3 (2024-04-12)
|
|
2
|
+
|
|
3
|
+
### Bug fixes
|
|
4
|
+
|
|
5
|
+
Fix an issue where dispatching an update to an editor before it measured itself for the first time could cause the scroll position to incorrectly move.
|
|
6
|
+
|
|
7
|
+
Fix a crash when multiple tooltips with arrows are shown.
|
|
8
|
+
|
|
1
9
|
## 6.26.2 (2024-04-09)
|
|
2
10
|
|
|
3
11
|
### Bug fixes
|
package/dist/index.cjs
CHANGED
|
@@ -5365,7 +5365,7 @@ class ViewState {
|
|
|
5365
5365
|
this.editorHeight = 0; // scrollDOM.clientHeight, unscaled
|
|
5366
5366
|
this.editorWidth = 0; // scrollDOM.clientWidth, unscaled
|
|
5367
5367
|
this.scrollTop = 0; // Last seen scrollDOM.scrollTop, scaled
|
|
5368
|
-
this.scrolledToBottom =
|
|
5368
|
+
this.scrolledToBottom = false;
|
|
5369
5369
|
// The CSS-transformation scale of the editor (transformed size /
|
|
5370
5370
|
// concrete size)
|
|
5371
5371
|
this.scaleX = 1;
|
|
@@ -9471,7 +9471,7 @@ const tooltipPlugin = ViewPlugin.fromClass(class {
|
|
|
9471
9471
|
if (tooltip.arrow && !tooltipView.dom.querySelector(".cm-tooltip > .cm-tooltip-arrow")) {
|
|
9472
9472
|
let arrow = document.createElement("div");
|
|
9473
9473
|
arrow.className = "cm-tooltip-arrow";
|
|
9474
|
-
tooltipView.dom.
|
|
9474
|
+
tooltipView.dom.appendChild(arrow);
|
|
9475
9475
|
}
|
|
9476
9476
|
tooltipView.dom.style.position = this.position;
|
|
9477
9477
|
tooltipView.dom.style.top = Outside;
|
package/dist/index.js
CHANGED
|
@@ -5360,7 +5360,7 @@ class ViewState {
|
|
|
5360
5360
|
this.editorHeight = 0; // scrollDOM.clientHeight, unscaled
|
|
5361
5361
|
this.editorWidth = 0; // scrollDOM.clientWidth, unscaled
|
|
5362
5362
|
this.scrollTop = 0; // Last seen scrollDOM.scrollTop, scaled
|
|
5363
|
-
this.scrolledToBottom =
|
|
5363
|
+
this.scrolledToBottom = false;
|
|
5364
5364
|
// The CSS-transformation scale of the editor (transformed size /
|
|
5365
5365
|
// concrete size)
|
|
5366
5366
|
this.scaleX = 1;
|
|
@@ -9466,7 +9466,7 @@ const tooltipPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
|
|
|
9466
9466
|
if (tooltip.arrow && !tooltipView.dom.querySelector(".cm-tooltip > .cm-tooltip-arrow")) {
|
|
9467
9467
|
let arrow = document.createElement("div");
|
|
9468
9468
|
arrow.className = "cm-tooltip-arrow";
|
|
9469
|
-
tooltipView.dom.
|
|
9469
|
+
tooltipView.dom.appendChild(arrow);
|
|
9470
9470
|
}
|
|
9471
9471
|
tooltipView.dom.style.position = this.position;
|
|
9472
9472
|
tooltipView.dom.style.top = Outside;
|