@codemirror/view 6.8.0 → 6.8.1

package/CHANGELOG.md

@@ -1,3 +1,9 @@
+## 6.8.1 (2023-02-08)
+
+### Bug fixes
+
+Fix an issue where tooltips that have their height reduced have their height flicker when scrolling or otherwise interacting with the editor.
+
 ## 6.8.0 (2023-02-07)
 
 ### Bug fixes

package/dist/index.cjs

@@ -8363,6 +8363,7 @@ const tooltipConfig = state.Facet.define({
         });
     }
 });
+const knownHeight = new WeakMap();
 const tooltipPlugin = ViewPlugin.fromClass(class {
     constructor(view) {
         this.view = view;
@@ -8478,6 +8479,7 @@ const tooltipPlugin = ViewPlugin.fromClass(class {
         };
     }
     writeMeasure(measured) {
+        var _a;
         let { editor, space } = measured;
         let others = [];
         for (let i = 0; i < this.manager.tooltips.length; i++) {
@@ -8493,7 +8495,7 @@ const tooltipPlugin = ViewPlugin.fromClass(class {
             }
             let arrow = tooltip.arrow ? tView.dom.querySelector(".cm-tooltip-arrow") : null;
             let arrowHeight = arrow ? 7 /* Arrow.Size */ : 0;
-            let width = size.right - size.left, height = size.bottom - size.top;
+            let width = size.right - size.left, height = (_a = knownHeight.get(tView)) !== null && _a !== void 0 ? _a : size.bottom - size.top;
             let offset = tView.offset || noOffset, ltr = this.view.textDirection == exports.Direction.LTR;
             let left = size.width > space.right - space.left ? (ltr ? space.left : space.right - size.width)
                 : ltr ? Math.min(pos.left - (arrow ? 14 /* Arrow.Offset */ : 0) + offset.x, space.right - width)
@@ -8510,6 +8512,7 @@ const tooltipPlugin = ViewPlugin.fromClass(class {
                     dom.style.top = Outside;
                     continue;
                 }
+                knownHeight.set(tView, height);
                 dom.style.height = (height = spaceVert) + "px";
             }
             else if (dom.style.height) {

package/dist/index.js

@@ -8356,6 +8356,7 @@ const tooltipConfig = /*@__PURE__*/Facet.define({
         });
     }
 });
+const knownHeight = /*@__PURE__*/new WeakMap();
 const tooltipPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
     constructor(view) {
         this.view = view;
@@ -8471,6 +8472,7 @@ const tooltipPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
         };
     }
     writeMeasure(measured) {
+        var _a;
         let { editor, space } = measured;
         let others = [];
         for (let i = 0; i < this.manager.tooltips.length; i++) {
@@ -8486,7 +8488,7 @@ const tooltipPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
             }
             let arrow = tooltip.arrow ? tView.dom.querySelector(".cm-tooltip-arrow") : null;
             let arrowHeight = arrow ? 7 /* Arrow.Size */ : 0;
-            let width = size.right - size.left, height = size.bottom - size.top;
+            let width = size.right - size.left, height = (_a = knownHeight.get(tView)) !== null && _a !== void 0 ? _a : size.bottom - size.top;
             let offset = tView.offset || noOffset, ltr = this.view.textDirection == Direction.LTR;
             let left = size.width > space.right - space.left ? (ltr ? space.left : space.right - size.width)
                 : ltr ? Math.min(pos.left - (arrow ? 14 /* Arrow.Offset */ : 0) + offset.x, space.right - width)
@@ -8503,6 +8505,7 @@ const tooltipPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
                     dom.style.top = Outside;
                     continue;
                 }
+                knownHeight.set(tView, height);
                 dom.style.height = (height = spaceVert) + "px";
             }
             else if (dom.style.height) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@codemirror/view",
-  "version": "6.8.0",
+  "version": "6.8.1",
   "description": "DOM view component for the CodeMirror code editor",
   "scripts": {
     "test": "cm-runtests",