@codemirror/view 6.8.0 → 6.9.0

package/CHANGELOG.md

@@ -1,3 +1,23 @@
+## 6.9.0 (2023-02-15)
+
+### Bug fixes
+
+Fix an issue where inaccurate estimated vertical positions could cause the viewport to not converge in line-wrapped editors.
+
+Don't suppress double-space to period conversion when autocorrect is enabled.
+
+Make sure the measuring code notices when the scaling of the editor is changed, and does a full measure in that case.
+
+### New features
+
+The new `EditorView.focusChangeEffect` facet can be used to dispatch a state effect when the editor is focused or blurred.
+
+## 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

@@ -1784,6 +1784,7 @@ const mouseSelectionStyle = state.Facet.define();
 const exceptionSink = state.Facet.define();
 const updateListener = state.Facet.define();
 const inputHandler = state.Facet.define();
+const focusChangeEffect = state.Facet.define();
 const perLineTextDirection = state.Facet.define({
     combine: values => values.some(x => x)
 });
@@ -4034,8 +4035,18 @@ handlers.copy = handlers.cut = (view, event) => {
 };
 function updateForFocusChange(view) {
     setTimeout(() => {
-        if (view.hasFocus != view.inputState.notifiedFocused)
-            view.update([]);
+        if (view.hasFocus != view.inputState.notifiedFocused) {
+            let effects = [], focus = !view.inputState.notifiedFocused;
+            for (let getEffect of view.state.facet(focusChangeEffect)) {
+                let effect = getEffect(view.state, focus);
+                if (effect)
+                    effects.push(effect);
+            }
+            if (effects.length)
+                view.dispatch({ effects });
+            else
+                view.update([]);
+        }
     }, 10);
 }
 handlers.focus = view => {
@@ -4117,7 +4128,7 @@ class HeightOracle {
     heightForGap(from, to) {
         let lines = this.doc.lineAt(to).number - this.doc.lineAt(from).number + 1;
         if (this.lineWrapping)
-            lines += Math.ceil(((to - from) - (lines * this.lineLength * 0.5)) / this.lineLength);
+            lines += Math.max(0, Math.ceil(((to - from) - (lines * this.lineLength * 0.5)) / this.lineLength));
         return this.lineHeight * lines;
     }
     heightForLine(length) {
@@ -4263,11 +4274,11 @@ class HeightMap {
     decomposeLeft(_to, result) { result.push(this); }
     decomposeRight(_from, result) { result.push(this); }
     applyChanges(decorations, oldDoc, oracle, changes) {
-        let me = this;
+        let me = this, doc = oracle.doc;
         for (let i = changes.length - 1; i >= 0; i--) {
             let { fromA, toA, fromB, toB } = changes[i];
-            let start = me.lineAt(fromA, QueryType.ByPosNoHeight, oldDoc, 0, 0);
-            let end = start.to >= toA ? start : me.lineAt(toA, QueryType.ByPosNoHeight, oldDoc, 0, 0);
+            let start = me.lineAt(fromA, QueryType.ByPosNoHeight, oracle.setDoc(oldDoc), 0, 0);
+            let end = start.to >= toA ? start : me.lineAt(toA, QueryType.ByPosNoHeight, oracle, 0, 0);
             toB += end.to - toA;
             toA = end.to;
             while (i > 0 && start.from <= changes[i - 1].toA) {
@@ -4275,11 +4286,11 @@ class HeightMap {
                 fromB = changes[i - 1].fromB;
                 i--;
                 if (fromA < start.from)
-                    start = me.lineAt(fromA, QueryType.ByPosNoHeight, oldDoc, 0, 0);
+                    start = me.lineAt(fromA, QueryType.ByPosNoHeight, oracle, 0, 0);
             }
             fromB += start.from - fromA;
             fromA = start.from;
-            let nodes = NodeBuilder.build(oracle, decorations, fromB, toB);
+            let nodes = NodeBuilder.build(oracle.setDoc(doc), decorations, fromB, toB);
             me = me.replace(fromA, toA, nodes);
         }
         return me.updateHeight(oracle, 0);
@@ -4346,15 +4357,15 @@ class HeightMapBlock extends HeightMap {
         super(length, height);
         this.type = type;
     }
-    blockAt(_height, _doc, top, offset) {
+    blockAt(_height, _oracle, top, offset) {
         return new BlockInfo(offset, this.length, top, this.height, this.type);
     }
-    lineAt(_value, _type, doc, top, offset) {
-        return this.blockAt(0, doc, top, offset);
+    lineAt(_value, _type, oracle, top, offset) {
+        return this.blockAt(0, oracle, top, offset);
     }
-    forEachLine(from, to, doc, top, offset, f) {
+    forEachLine(from, to, oracle, top, offset, f) {
         if (from <= offset + this.length && to >= offset)
-            f(this.blockAt(0, doc, top, offset));
+            f(this.blockAt(0, oracle, top, offset));
     }
     updateHeight(oracle, offset = 0, _force = false, measured) {
         if (measured && measured.from <= offset && measured.more)
@@ -4400,35 +4411,60 @@ class HeightMapText extends HeightMapBlock {
 }
 class HeightMapGap extends HeightMap {
     constructor(length) { super(length, 0); }
-    lines(doc, offset) {
-        let firstLine = doc.lineAt(offset).number, lastLine = doc.lineAt(offset + this.length).number;
-        return { firstLine, lastLine, lineHeight: this.height / (lastLine - firstLine + 1) };
+    heightMetrics(oracle, offset) {
+        let firstLine = oracle.doc.lineAt(offset).number, lastLine = oracle.doc.lineAt(offset + this.length).number;
+        let lines = lastLine - firstLine + 1;
+        let perLine, perChar = 0;
+        if (oracle.lineWrapping) {
+            let totalPerLine = Math.min(this.height, oracle.lineHeight * lines);
+            perLine = totalPerLine / lines;
+            perChar = (this.height - totalPerLine) / (this.length - lines - 1);
+        }
+        else {
+            perLine = this.height / lines;
+        }
+        return { firstLine, lastLine, perLine, perChar };
     }
-    blockAt(height, doc, top, offset) {
-        let { firstLine, lastLine, lineHeight } = this.lines(doc, offset);
-        let line = Math.max(0, Math.min(lastLine - firstLine, Math.floor((height - top) / lineHeight)));
-        let { from, length } = doc.line(firstLine + line);
-        return new BlockInfo(from, length, top + lineHeight * line, lineHeight, exports.BlockType.Text);
+    blockAt(height, oracle, top, offset) {
+        let { firstLine, lastLine, perLine, perChar } = this.heightMetrics(oracle, offset);
+        if (oracle.lineWrapping) {
+            let guess = offset + Math.round(Math.max(0, Math.min(1, (height - top) / this.height)) * this.length);
+            let line = oracle.doc.lineAt(guess), lineHeight = perLine + line.length * perChar;
+            let lineTop = Math.max(top, height - lineHeight / 2);
+            return new BlockInfo(line.from, line.length, lineTop, lineHeight, exports.BlockType.Text);
+        }
+        else {
+            let line = Math.max(0, Math.min(lastLine - firstLine, Math.floor((height - top) / perLine)));
+            let { from, length } = oracle.doc.line(firstLine + line);
+            return new BlockInfo(from, length, top + perLine * line, perLine, exports.BlockType.Text);
+        }
     }
-    lineAt(value, type, doc, top, offset) {
+    lineAt(value, type, oracle, top, offset) {
         if (type == QueryType.ByHeight)
-            return this.blockAt(value, doc, top, offset);
+            return this.blockAt(value, oracle, top, offset);
         if (type == QueryType.ByPosNoHeight) {
-            let { from, to } = doc.lineAt(value);
+            let { from, to } = oracle.doc.lineAt(value);
             return new BlockInfo(from, to - from, 0, 0, exports.BlockType.Text);
         }
-        let { firstLine, lineHeight } = this.lines(doc, offset);
-        let { from, length, number } = doc.lineAt(value);
-        return new BlockInfo(from, length, top + lineHeight * (number - firstLine), lineHeight, exports.BlockType.Text);
-    }
-    forEachLine(from, to, doc, top, offset, f) {
-        let { firstLine, lineHeight } = this.lines(doc, offset);
-        for (let pos = Math.max(from, offset), end = Math.min(offset + this.length, to); pos <= end;) {
-            let line = doc.lineAt(pos);
-            if (pos == from)
-                top += lineHeight * (line.number - firstLine);
-            f(new BlockInfo(line.from, line.length, top, lineHeight, exports.BlockType.Text));
-            top += lineHeight;
+        let { firstLine, perLine, perChar } = this.heightMetrics(oracle, offset);
+        let line = oracle.doc.lineAt(value), lineHeight = perLine + line.length * perChar;
+        let linesAbove = line.number - firstLine;
+        let lineTop = top + perLine * linesAbove + perChar * (line.from - offset - linesAbove);
+        return new BlockInfo(line.from, line.length, Math.max(top, Math.min(lineTop, top + this.height - lineHeight)), lineHeight, exports.BlockType.Text);
+    }
+    forEachLine(from, to, oracle, top, offset, f) {
+        from = Math.max(from, offset);
+        to = Math.min(to, offset + this.length);
+        let { firstLine, perLine, perChar } = this.heightMetrics(oracle, offset);
+        for (let pos = from, lineTop = top; pos <= to;) {
+            let line = oracle.doc.lineAt(pos);
+            if (pos == from) {
+                let linesAbove = line.number - firstLine;
+                lineTop += perLine * linesAbove + perChar * (from - offset - linesAbove);
+            }
+            let lineHeight = perLine + perChar * line.length;
+            f(new BlockInfo(line.from, line.length, lineTop, lineHeight, exports.BlockType.Text));
+            lineTop += lineHeight;
             pos = line.to + 1;
         }
     }
@@ -4464,7 +4500,6 @@ class HeightMapGap extends HeightMap {
             // they would already have been added to the heightmap (gaps
             // only contain plain text).
             let nodes = [], pos = Math.max(offset, measured.from), singleHeight = -1;
-            let wasChanged = oracle.heightChanged;
             if (measured.from > offset)
                 nodes.push(new HeightMapGap(measured.from - offset - 1).updateHeight(oracle, offset));
             while (pos <= end && measured.more) {
@@ -4484,8 +4519,9 @@ class HeightMapGap extends HeightMap {
             if (pos <= end)
                 nodes.push(null, new HeightMapGap(end - pos).updateHeight(oracle, pos));
             let result = HeightMap.of(nodes);
-            oracle.heightChanged = wasChanged || singleHeight < 0 || Math.abs(result.height - this.height) >= Epsilon ||
-                Math.abs(singleHeight - this.lines(oracle.doc, offset).lineHeight) >= Epsilon;
+            if (singleHeight < 0 || Math.abs(result.height - this.height) >= Epsilon ||
+                Math.abs(singleHeight - this.heightMetrics(oracle, offset).perLine) >= Epsilon)
+                oracle.heightChanged = true;
             return result;
         }
         else if (force || this.outdated) {
@@ -4504,40 +4540,40 @@ class HeightMapBranch extends HeightMap {
         this.size = left.size + right.size;
     }
     get break() { return this.flags & 1 /* Flag.Break */; }
-    blockAt(height, doc, top, offset) {
+    blockAt(height, oracle, top, offset) {
         let mid = top + this.left.height;
-        return height < mid ? this.left.blockAt(height, doc, top, offset)
-            : this.right.blockAt(height, doc, mid, offset + this.left.length + this.break);
+        return height < mid ? this.left.blockAt(height, oracle, top, offset)
+            : this.right.blockAt(height, oracle, mid, offset + this.left.length + this.break);
     }
-    lineAt(value, type, doc, top, offset) {
+    lineAt(value, type, oracle, top, offset) {
         let rightTop = top + this.left.height, rightOffset = offset + this.left.length + this.break;
         let left = type == QueryType.ByHeight ? value < rightTop : value < rightOffset;
-        let base = left ? this.left.lineAt(value, type, doc, top, offset)
-            : this.right.lineAt(value, type, doc, rightTop, rightOffset);
+        let base = left ? this.left.lineAt(value, type, oracle, top, offset)
+            : this.right.lineAt(value, type, oracle, rightTop, rightOffset);
         if (this.break || (left ? base.to < rightOffset : base.from > rightOffset))
             return base;
         let subQuery = type == QueryType.ByPosNoHeight ? QueryType.ByPosNoHeight : QueryType.ByPos;
         if (left)
-            return base.join(this.right.lineAt(rightOffset, subQuery, doc, rightTop, rightOffset));
+            return base.join(this.right.lineAt(rightOffset, subQuery, oracle, rightTop, rightOffset));
         else
-            return this.left.lineAt(rightOffset, subQuery, doc, top, offset).join(base);
+            return this.left.lineAt(rightOffset, subQuery, oracle, top, offset).join(base);
     }
-    forEachLine(from, to, doc, top, offset, f) {
+    forEachLine(from, to, oracle, top, offset, f) {
         let rightTop = top + this.left.height, rightOffset = offset + this.left.length + this.break;
         if (this.break) {
             if (from < rightOffset)
-                this.left.forEachLine(from, to, doc, top, offset, f);
+                this.left.forEachLine(from, to, oracle, top, offset, f);
             if (to >= rightOffset)
-                this.right.forEachLine(from, to, doc, rightTop, rightOffset, f);
+                this.right.forEachLine(from, to, oracle, rightTop, rightOffset, f);
         }
         else {
-            let mid = this.lineAt(rightOffset, QueryType.ByPos, doc, top, offset);
+            let mid = this.lineAt(rightOffset, QueryType.ByPos, oracle, top, offset);
             if (from < mid.from)
-                this.left.forEachLine(from, mid.from - 1, doc, top, offset, f);
+                this.left.forEachLine(from, mid.from - 1, oracle, top, offset, f);
             if (mid.to >= from && mid.from <= to)
                 f(mid);
             if (to > mid.to)
-                this.right.forEachLine(mid.to + 1, to, doc, rightTop, rightOffset, f);
+                this.right.forEachLine(mid.to + 1, to, oracle, rightTop, rightOffset, f);
         }
     }
     replace(from, to, nodes) {
@@ -4887,11 +4923,11 @@ class ViewState {
         }
         this.viewports = viewports.sort((a, b) => a.from - b.from);
         this.scaler = this.heightMap.height <= 7000000 /* VP.MaxDOMHeight */ ? IdScaler :
-            new BigScaler(this.heightOracle.doc, this.heightMap, this.viewports);
+            new BigScaler(this.heightOracle, this.heightMap, this.viewports);
     }
     updateViewportLines() {
         this.viewportLines = [];
-        this.heightMap.forEachLine(this.viewport.from, this.viewport.to, this.state.doc, 0, 0, block => {
+        this.heightMap.forEachLine(this.viewport.from, this.viewport.to, this.heightOracle.setDoc(this.state.doc), 0, 0, block => {
             this.viewportLines.push(this.scaler.scale == 1 ? block : scaleBlock(block, this.scaler));
         });
     }
@@ -4931,8 +4967,9 @@ class ViewState {
         let whiteSpace = style.whiteSpace;
         this.defaultTextDirection = style.direction == "rtl" ? exports.Direction.RTL : exports.Direction.LTR;
         let refresh = this.heightOracle.mustRefreshForWrapping(whiteSpace);
-        let measureContent = refresh || this.mustMeasureContent || this.contentDOMHeight != dom.clientHeight;
-        this.contentDOMHeight = dom.clientHeight;
+        let domRect = dom.getBoundingClientRect();
+        let measureContent = refresh || this.mustMeasureContent || this.contentDOMHeight != domRect.height;
+        this.contentDOMHeight = domRect.height;
         this.mustMeasureContent = false;
         let result = 0, bias = 0;
         // Vertical padding
@@ -4960,9 +4997,9 @@ class ViewState {
         }
         if (!this.inView && !this.scrollTarget)
             return 0;
-        let contentWidth = dom.clientWidth;
+        let contentWidth = domRect.width;
         if (this.contentDOMWidth != contentWidth || this.editorHeight != view.scrollDOM.clientHeight) {
-            this.contentDOMWidth = contentWidth;
+            this.contentDOMWidth = domRect.width;
             this.editorHeight = view.scrollDOM.clientHeight;
             result |= 8 /* UpdateFlag.Geometry */;
         }
@@ -4991,7 +5028,8 @@ class ViewState {
                 result |= 2 /* UpdateFlag.Height */;
         }
         let viewportChange = !this.viewportIsAppropriate(this.viewport, bias) ||
-            this.scrollTarget && (this.scrollTarget.range.head < this.viewport.from || this.scrollTarget.range.head > this.viewport.to);
+            this.scrollTarget && (this.scrollTarget.range.head < this.viewport.from ||
+                this.scrollTarget.range.head > this.viewport.to);
         if (viewportChange)
             this.viewport = this.getViewport(bias, this.scrollTarget);
         this.updateForViewport();
@@ -5017,36 +5055,37 @@ class ViewState {
         // bottom, depending on the bias (the change in viewport position
         // since the last update). It'll hold a number between 0 and 1
         let marginTop = 0.5 - Math.max(-0.5, Math.min(0.5, bias / 1000 /* VP.Margin */ / 2));
-        let map = this.heightMap, doc = this.state.doc, { visibleTop, visibleBottom } = this;
-        let viewport = new Viewport(map.lineAt(visibleTop - marginTop * 1000 /* VP.Margin */, QueryType.ByHeight, doc, 0, 0).from, map.lineAt(visibleBottom + (1 - marginTop) * 1000 /* VP.Margin */, QueryType.ByHeight, doc, 0, 0).to);
+        let map = this.heightMap, oracle = this.heightOracle;
+        let { visibleTop, visibleBottom } = this;
+        let viewport = new Viewport(map.lineAt(visibleTop - marginTop * 1000 /* VP.Margin */, QueryType.ByHeight, oracle, 0, 0).from, map.lineAt(visibleBottom + (1 - marginTop) * 1000 /* VP.Margin */, QueryType.ByHeight, oracle, 0, 0).to);
         // If scrollTarget is given, make sure the viewport includes that position
         if (scrollTarget) {
             let { head } = scrollTarget.range;
             if (head < viewport.from || head > viewport.to) {
                 let viewHeight = Math.min(this.editorHeight, this.pixelViewport.bottom - this.pixelViewport.top);
-                let block = map.lineAt(head, QueryType.ByPos, doc, 0, 0), topPos;
+                let block = map.lineAt(head, QueryType.ByPos, oracle, 0, 0), topPos;
                 if (scrollTarget.y == "center")
                     topPos = (block.top + block.bottom) / 2 - viewHeight / 2;
                 else if (scrollTarget.y == "start" || scrollTarget.y == "nearest" && head < viewport.from)
                     topPos = block.top;
                 else
                     topPos = block.bottom - viewHeight;
-                viewport = new Viewport(map.lineAt(topPos - 1000 /* VP.Margin */ / 2, QueryType.ByHeight, doc, 0, 0).from, map.lineAt(topPos + viewHeight + 1000 /* VP.Margin */ / 2, QueryType.ByHeight, doc, 0, 0).to);
+                viewport = new Viewport(map.lineAt(topPos - 1000 /* VP.Margin */ / 2, QueryType.ByHeight, oracle, 0, 0).from, map.lineAt(topPos + viewHeight + 1000 /* VP.Margin */ / 2, QueryType.ByHeight, oracle, 0, 0).to);
             }
         }
         return viewport;
     }
     mapViewport(viewport, changes) {
         let from = changes.mapPos(viewport.from, -1), to = changes.mapPos(viewport.to, 1);
-        return new Viewport(this.heightMap.lineAt(from, QueryType.ByPos, this.state.doc, 0, 0).from, this.heightMap.lineAt(to, QueryType.ByPos, this.state.doc, 0, 0).to);
+        return new Viewport(this.heightMap.lineAt(from, QueryType.ByPos, this.heightOracle, 0, 0).from, this.heightMap.lineAt(to, QueryType.ByPos, this.heightOracle, 0, 0).to);
     }
     // Checks if a given viewport covers the visible part of the
     // document and not too much beyond that.
     viewportIsAppropriate({ from, to }, bias = 0) {
         if (!this.inView)
             return true;
-        let { top } = this.heightMap.lineAt(from, QueryType.ByPos, this.state.doc, 0, 0);
-        let { bottom } = this.heightMap.lineAt(to, QueryType.ByPos, this.state.doc, 0, 0);
+        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 /* VP.MinCoverMargin */, Math.min(-bias, 250 /* VP.MaxCoverMargin */))) &&
             (to == this.state.doc.length ||
@@ -5183,13 +5222,13 @@ class ViewState {
     }
     lineBlockAt(pos) {
         return (pos >= this.viewport.from && pos <= this.viewport.to && this.viewportLines.find(b => b.from <= pos && b.to >= pos)) ||
-            scaleBlock(this.heightMap.lineAt(pos, QueryType.ByPos, this.state.doc, 0, 0), this.scaler);
+            scaleBlock(this.heightMap.lineAt(pos, QueryType.ByPos, this.heightOracle, 0, 0), this.scaler);
     }
     lineBlockAtHeight(height) {
-        return scaleBlock(this.heightMap.lineAt(this.scaler.fromDOM(height), QueryType.ByHeight, this.state.doc, 0, 0), this.scaler);
+        return scaleBlock(this.heightMap.lineAt(this.scaler.fromDOM(height), QueryType.ByHeight, this.heightOracle, 0, 0), this.scaler);
     }
     elementAtHeight(height) {
-        return scaleBlock(this.heightMap.blockAt(this.scaler.fromDOM(height), this.state.doc, 0, 0), this.scaler);
+        return scaleBlock(this.heightMap.blockAt(this.scaler.fromDOM(height), this.heightOracle, 0, 0), this.scaler);
     }
     get docHeight() {
         return this.scaler.toDOM(this.heightMap.height);
@@ -5263,11 +5302,11 @@ const IdScaler = {
 // regions outside the viewports so that the total height is
 // VP.MaxDOMHeight.
 class BigScaler {
-    constructor(doc, heightMap, viewports) {
+    constructor(oracle, heightMap, viewports) {
         let vpHeight = 0, base = 0, domBase = 0;
         this.viewports = viewports.map(({ from, to }) => {
-            let top = heightMap.lineAt(from, QueryType.ByPos, doc, 0, 0).top;
-            let bottom = heightMap.lineAt(to, QueryType.ByPos, doc, 0, 0).bottom;
+            let top = heightMap.lineAt(from, QueryType.ByPos, oracle, 0, 0).top;
+            let bottom = heightMap.lineAt(to, QueryType.ByPos, oracle, 0, 0).bottom;
             vpHeight += bottom - top;
             return { from, to, top, bottom, domTop: 0, domBottom: 0 };
         });
@@ -5634,7 +5673,7 @@ function applyDOMChange(view, domChange) {
         };
     }
     else if ((browser.mac || browser.android) && change && change.from == change.to && change.from == sel.head - 1 &&
-        /^\. ?$/.test(change.insert.toString())) {
+        /^\. ?$/.test(change.insert.toString()) && view.contentDOM.getAttribute("autocorrect") == "off") {
         // Detect insert-period-on-double-space Mac and Android behavior,
         // and transform it into a regular space insert.
         if (newSel && change.insert.length == 2)
@@ -7048,6 +7087,11 @@ called and the default behavior is prevented.
 */
 EditorView.inputHandler = inputHandler;
 /**
+This facet can be used to provide functions that create effects
+to be dispatched when the editor's focus state changes.
+*/
+EditorView.focusChangeEffect = focusChangeEffect;
+/**
 By default, the editor assumes all its content has the same
 [text direction](https://codemirror.net/6/docs/ref/#view.Direction). Configure this with a `true`
 value to make it read the text direction of every (rendered)
@@ -8363,6 +8407,7 @@ const tooltipConfig = state.Facet.define({
         });
     }
 });
+const knownHeight = new WeakMap();
 const tooltipPlugin = ViewPlugin.fromClass(class {
     constructor(view) {
         this.view = view;
@@ -8478,6 +8523,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 +8539,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 +8556,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.d.ts

@@ -995,6 +995,11 @@ declare class EditorView {
     */
     static inputHandler: Facet<(view: EditorView, from: number, to: number, text: string) => boolean, readonly ((view: EditorView, from: number, to: number, text: string) => boolean)[]>;
     /**
+    This facet can be used to provide functions that create effects
+    to be dispatched when the editor's focus state changes.
+    */
+    static focusChangeEffect: Facet<(state: EditorState, focusing: boolean) => StateEffect<any> | null, readonly ((state: EditorState, focusing: boolean) => StateEffect<any> | null)[]>;
+    /**
     By default, the editor assumes all its content has the same
     [text direction](https://codemirror.net/6/docs/ref/#view.Direction). Configure this with a `true`
     value to make it read the text direction of every (rendered)

package/dist/index.js

@@ -1779,6 +1779,7 @@ const mouseSelectionStyle = /*@__PURE__*/Facet.define();
 const exceptionSink = /*@__PURE__*/Facet.define();
 const updateListener = /*@__PURE__*/Facet.define();
 const inputHandler = /*@__PURE__*/Facet.define();
+const focusChangeEffect = /*@__PURE__*/Facet.define();
 const perLineTextDirection = /*@__PURE__*/Facet.define({
     combine: values => values.some(x => x)
 });
@@ -4028,8 +4029,18 @@ handlers.copy = handlers.cut = (view, event) => {
 };
 function updateForFocusChange(view) {
     setTimeout(() => {
-        if (view.hasFocus != view.inputState.notifiedFocused)
-            view.update([]);
+        if (view.hasFocus != view.inputState.notifiedFocused) {
+            let effects = [], focus = !view.inputState.notifiedFocused;
+            for (let getEffect of view.state.facet(focusChangeEffect)) {
+                let effect = getEffect(view.state, focus);
+                if (effect)
+                    effects.push(effect);
+            }
+            if (effects.length)
+                view.dispatch({ effects });
+            else
+                view.update([]);
+        }
     }, 10);
 }
 handlers.focus = view => {
@@ -4111,7 +4122,7 @@ class HeightOracle {
     heightForGap(from, to) {
         let lines = this.doc.lineAt(to).number - this.doc.lineAt(from).number + 1;
         if (this.lineWrapping)
-            lines += Math.ceil(((to - from) - (lines * this.lineLength * 0.5)) / this.lineLength);
+            lines += Math.max(0, Math.ceil(((to - from) - (lines * this.lineLength * 0.5)) / this.lineLength));
         return this.lineHeight * lines;
     }
     heightForLine(length) {
@@ -4256,11 +4267,11 @@ class HeightMap {
     decomposeLeft(_to, result) { result.push(this); }
     decomposeRight(_from, result) { result.push(this); }
     applyChanges(decorations, oldDoc, oracle, changes) {
-        let me = this;
+        let me = this, doc = oracle.doc;
         for (let i = changes.length - 1; i >= 0; i--) {
             let { fromA, toA, fromB, toB } = changes[i];
-            let start = me.lineAt(fromA, QueryType.ByPosNoHeight, oldDoc, 0, 0);
-            let end = start.to >= toA ? start : me.lineAt(toA, QueryType.ByPosNoHeight, oldDoc, 0, 0);
+            let start = me.lineAt(fromA, QueryType.ByPosNoHeight, oracle.setDoc(oldDoc), 0, 0);
+            let end = start.to >= toA ? start : me.lineAt(toA, QueryType.ByPosNoHeight, oracle, 0, 0);
             toB += end.to - toA;
             toA = end.to;
             while (i > 0 && start.from <= changes[i - 1].toA) {
@@ -4268,11 +4279,11 @@ class HeightMap {
                 fromB = changes[i - 1].fromB;
                 i--;
                 if (fromA < start.from)
-                    start = me.lineAt(fromA, QueryType.ByPosNoHeight, oldDoc, 0, 0);
+                    start = me.lineAt(fromA, QueryType.ByPosNoHeight, oracle, 0, 0);
             }
             fromB += start.from - fromA;
             fromA = start.from;
-            let nodes = NodeBuilder.build(oracle, decorations, fromB, toB);
+            let nodes = NodeBuilder.build(oracle.setDoc(doc), decorations, fromB, toB);
             me = me.replace(fromA, toA, nodes);
         }
         return me.updateHeight(oracle, 0);
@@ -4339,15 +4350,15 @@ class HeightMapBlock extends HeightMap {
         super(length, height);
         this.type = type;
     }
-    blockAt(_height, _doc, top, offset) {
+    blockAt(_height, _oracle, top, offset) {
         return new BlockInfo(offset, this.length, top, this.height, this.type);
     }
-    lineAt(_value, _type, doc, top, offset) {
-        return this.blockAt(0, doc, top, offset);
+    lineAt(_value, _type, oracle, top, offset) {
+        return this.blockAt(0, oracle, top, offset);
     }
-    forEachLine(from, to, doc, top, offset, f) {
+    forEachLine(from, to, oracle, top, offset, f) {
         if (from <= offset + this.length && to >= offset)
-            f(this.blockAt(0, doc, top, offset));
+            f(this.blockAt(0, oracle, top, offset));
     }
     updateHeight(oracle, offset = 0, _force = false, measured) {
         if (measured && measured.from <= offset && measured.more)
@@ -4393,35 +4404,60 @@ class HeightMapText extends HeightMapBlock {
 }
 class HeightMapGap extends HeightMap {
     constructor(length) { super(length, 0); }
-    lines(doc, offset) {
-        let firstLine = doc.lineAt(offset).number, lastLine = doc.lineAt(offset + this.length).number;
-        return { firstLine, lastLine, lineHeight: this.height / (lastLine - firstLine + 1) };
+    heightMetrics(oracle, offset) {
+        let firstLine = oracle.doc.lineAt(offset).number, lastLine = oracle.doc.lineAt(offset + this.length).number;
+        let lines = lastLine - firstLine + 1;
+        let perLine, perChar = 0;
+        if (oracle.lineWrapping) {
+            let totalPerLine = Math.min(this.height, oracle.lineHeight * lines);
+            perLine = totalPerLine / lines;
+            perChar = (this.height - totalPerLine) / (this.length - lines - 1);
+        }
+        else {
+            perLine = this.height / lines;
+        }
+        return { firstLine, lastLine, perLine, perChar };
     }
-    blockAt(height, doc, top, offset) {
-        let { firstLine, lastLine, lineHeight } = this.lines(doc, offset);
-        let line = Math.max(0, Math.min(lastLine - firstLine, Math.floor((height - top) / lineHeight)));
-        let { from, length } = doc.line(firstLine + line);
-        return new BlockInfo(from, length, top + lineHeight * line, lineHeight, BlockType.Text);
+    blockAt(height, oracle, top, offset) {
+        let { firstLine, lastLine, perLine, perChar } = this.heightMetrics(oracle, offset);
+        if (oracle.lineWrapping) {
+            let guess = offset + Math.round(Math.max(0, Math.min(1, (height - top) / this.height)) * this.length);
+            let line = oracle.doc.lineAt(guess), lineHeight = perLine + line.length * perChar;
+            let lineTop = Math.max(top, height - lineHeight / 2);
+            return new BlockInfo(line.from, line.length, lineTop, lineHeight, BlockType.Text);
+        }
+        else {
+            let line = Math.max(0, Math.min(lastLine - firstLine, Math.floor((height - top) / perLine)));
+            let { from, length } = oracle.doc.line(firstLine + line);
+            return new BlockInfo(from, length, top + perLine * line, perLine, BlockType.Text);
+        }
     }
-    lineAt(value, type, doc, top, offset) {
+    lineAt(value, type, oracle, top, offset) {
         if (type == QueryType.ByHeight)
-            return this.blockAt(value, doc, top, offset);
+            return this.blockAt(value, oracle, top, offset);
         if (type == QueryType.ByPosNoHeight) {
-            let { from, to } = doc.lineAt(value);
+            let { from, to } = oracle.doc.lineAt(value);
             return new BlockInfo(from, to - from, 0, 0, BlockType.Text);
         }
-        let { firstLine, lineHeight } = this.lines(doc, offset);
-        let { from, length, number } = doc.lineAt(value);
-        return new BlockInfo(from, length, top + lineHeight * (number - firstLine), lineHeight, BlockType.Text);
-    }
-    forEachLine(from, to, doc, top, offset, f) {
-        let { firstLine, lineHeight } = this.lines(doc, offset);
-        for (let pos = Math.max(from, offset), end = Math.min(offset + this.length, to); pos <= end;) {
-            let line = doc.lineAt(pos);
-            if (pos == from)
-                top += lineHeight * (line.number - firstLine);
-            f(new BlockInfo(line.from, line.length, top, lineHeight, BlockType.Text));
-            top += lineHeight;
+        let { firstLine, perLine, perChar } = this.heightMetrics(oracle, offset);
+        let line = oracle.doc.lineAt(value), lineHeight = perLine + line.length * perChar;
+        let linesAbove = line.number - firstLine;
+        let lineTop = top + perLine * linesAbove + perChar * (line.from - offset - linesAbove);
+        return new BlockInfo(line.from, line.length, Math.max(top, Math.min(lineTop, top + this.height - lineHeight)), lineHeight, BlockType.Text);
+    }
+    forEachLine(from, to, oracle, top, offset, f) {
+        from = Math.max(from, offset);
+        to = Math.min(to, offset + this.length);
+        let { firstLine, perLine, perChar } = this.heightMetrics(oracle, offset);
+        for (let pos = from, lineTop = top; pos <= to;) {
+            let line = oracle.doc.lineAt(pos);
+            if (pos == from) {
+                let linesAbove = line.number - firstLine;
+                lineTop += perLine * linesAbove + perChar * (from - offset - linesAbove);
+            }
+            let lineHeight = perLine + perChar * line.length;
+            f(new BlockInfo(line.from, line.length, lineTop, lineHeight, BlockType.Text));
+            lineTop += lineHeight;
             pos = line.to + 1;
         }
     }
@@ -4457,7 +4493,6 @@ class HeightMapGap extends HeightMap {
             // they would already have been added to the heightmap (gaps
             // only contain plain text).
             let nodes = [], pos = Math.max(offset, measured.from), singleHeight = -1;
-            let wasChanged = oracle.heightChanged;
             if (measured.from > offset)
                 nodes.push(new HeightMapGap(measured.from - offset - 1).updateHeight(oracle, offset));
             while (pos <= end && measured.more) {
@@ -4477,8 +4512,9 @@ class HeightMapGap extends HeightMap {
             if (pos <= end)
                 nodes.push(null, new HeightMapGap(end - pos).updateHeight(oracle, pos));
             let result = HeightMap.of(nodes);
-            oracle.heightChanged = wasChanged || singleHeight < 0 || Math.abs(result.height - this.height) >= Epsilon ||
-                Math.abs(singleHeight - this.lines(oracle.doc, offset).lineHeight) >= Epsilon;
+            if (singleHeight < 0 || Math.abs(result.height - this.height) >= Epsilon ||
+                Math.abs(singleHeight - this.heightMetrics(oracle, offset).perLine) >= Epsilon)
+                oracle.heightChanged = true;
             return result;
         }
         else if (force || this.outdated) {
@@ -4497,40 +4533,40 @@ class HeightMapBranch extends HeightMap {
         this.size = left.size + right.size;
     }
     get break() { return this.flags & 1 /* Flag.Break */; }
-    blockAt(height, doc, top, offset) {
+    blockAt(height, oracle, top, offset) {
         let mid = top + this.left.height;
-        return height < mid ? this.left.blockAt(height, doc, top, offset)
-            : this.right.blockAt(height, doc, mid, offset + this.left.length + this.break);
+        return height < mid ? this.left.blockAt(height, oracle, top, offset)
+            : this.right.blockAt(height, oracle, mid, offset + this.left.length + this.break);
     }
-    lineAt(value, type, doc, top, offset) {
+    lineAt(value, type, oracle, top, offset) {
         let rightTop = top + this.left.height, rightOffset = offset + this.left.length + this.break;
         let left = type == QueryType.ByHeight ? value < rightTop : value < rightOffset;
-        let base = left ? this.left.lineAt(value, type, doc, top, offset)
-            : this.right.lineAt(value, type, doc, rightTop, rightOffset);
+        let base = left ? this.left.lineAt(value, type, oracle, top, offset)
+            : this.right.lineAt(value, type, oracle, rightTop, rightOffset);
         if (this.break || (left ? base.to < rightOffset : base.from > rightOffset))
             return base;
         let subQuery = type == QueryType.ByPosNoHeight ? QueryType.ByPosNoHeight : QueryType.ByPos;
         if (left)
-            return base.join(this.right.lineAt(rightOffset, subQuery, doc, rightTop, rightOffset));
+            return base.join(this.right.lineAt(rightOffset, subQuery, oracle, rightTop, rightOffset));
         else
-            return this.left.lineAt(rightOffset, subQuery, doc, top, offset).join(base);
+            return this.left.lineAt(rightOffset, subQuery, oracle, top, offset).join(base);
     }
-    forEachLine(from, to, doc, top, offset, f) {
+    forEachLine(from, to, oracle, top, offset, f) {
         let rightTop = top + this.left.height, rightOffset = offset + this.left.length + this.break;
         if (this.break) {
             if (from < rightOffset)
-                this.left.forEachLine(from, to, doc, top, offset, f);
+                this.left.forEachLine(from, to, oracle, top, offset, f);
             if (to >= rightOffset)
-                this.right.forEachLine(from, to, doc, rightTop, rightOffset, f);
+                this.right.forEachLine(from, to, oracle, rightTop, rightOffset, f);
         }
         else {
-            let mid = this.lineAt(rightOffset, QueryType.ByPos, doc, top, offset);
+            let mid = this.lineAt(rightOffset, QueryType.ByPos, oracle, top, offset);
             if (from < mid.from)
-                this.left.forEachLine(from, mid.from - 1, doc, top, offset, f);
+                this.left.forEachLine(from, mid.from - 1, oracle, top, offset, f);
             if (mid.to >= from && mid.from <= to)
                 f(mid);
             if (to > mid.to)
-                this.right.forEachLine(mid.to + 1, to, doc, rightTop, rightOffset, f);
+                this.right.forEachLine(mid.to + 1, to, oracle, rightTop, rightOffset, f);
         }
     }
     replace(from, to, nodes) {
@@ -4880,11 +4916,11 @@ class ViewState {
         }
         this.viewports = viewports.sort((a, b) => a.from - b.from);
         this.scaler = this.heightMap.height <= 7000000 /* VP.MaxDOMHeight */ ? IdScaler :
-            new BigScaler(this.heightOracle.doc, this.heightMap, this.viewports);
+            new BigScaler(this.heightOracle, this.heightMap, this.viewports);
     }
     updateViewportLines() {
         this.viewportLines = [];
-        this.heightMap.forEachLine(this.viewport.from, this.viewport.to, this.state.doc, 0, 0, block => {
+        this.heightMap.forEachLine(this.viewport.from, this.viewport.to, this.heightOracle.setDoc(this.state.doc), 0, 0, block => {
             this.viewportLines.push(this.scaler.scale == 1 ? block : scaleBlock(block, this.scaler));
         });
     }
@@ -4924,8 +4960,9 @@ class ViewState {
         let whiteSpace = style.whiteSpace;
         this.defaultTextDirection = style.direction == "rtl" ? Direction.RTL : Direction.LTR;
         let refresh = this.heightOracle.mustRefreshForWrapping(whiteSpace);
-        let measureContent = refresh || this.mustMeasureContent || this.contentDOMHeight != dom.clientHeight;
-        this.contentDOMHeight = dom.clientHeight;
+        let domRect = dom.getBoundingClientRect();
+        let measureContent = refresh || this.mustMeasureContent || this.contentDOMHeight != domRect.height;
+        this.contentDOMHeight = domRect.height;
         this.mustMeasureContent = false;
         let result = 0, bias = 0;
         // Vertical padding
@@ -4953,9 +4990,9 @@ class ViewState {
         }
         if (!this.inView && !this.scrollTarget)
             return 0;
-        let contentWidth = dom.clientWidth;
+        let contentWidth = domRect.width;
         if (this.contentDOMWidth != contentWidth || this.editorHeight != view.scrollDOM.clientHeight) {
-            this.contentDOMWidth = contentWidth;
+            this.contentDOMWidth = domRect.width;
             this.editorHeight = view.scrollDOM.clientHeight;
             result |= 8 /* UpdateFlag.Geometry */;
         }
@@ -4984,7 +5021,8 @@ class ViewState {
                 result |= 2 /* UpdateFlag.Height */;
         }
         let viewportChange = !this.viewportIsAppropriate(this.viewport, bias) ||
-            this.scrollTarget && (this.scrollTarget.range.head < this.viewport.from || this.scrollTarget.range.head > this.viewport.to);
+            this.scrollTarget && (this.scrollTarget.range.head < this.viewport.from ||
+                this.scrollTarget.range.head > this.viewport.to);
         if (viewportChange)
             this.viewport = this.getViewport(bias, this.scrollTarget);
         this.updateForViewport();
@@ -5010,36 +5048,37 @@ class ViewState {
         // bottom, depending on the bias (the change in viewport position
         // since the last update). It'll hold a number between 0 and 1
         let marginTop = 0.5 - Math.max(-0.5, Math.min(0.5, bias / 1000 /* VP.Margin */ / 2));
-        let map = this.heightMap, doc = this.state.doc, { visibleTop, visibleBottom } = this;
-        let viewport = new Viewport(map.lineAt(visibleTop - marginTop * 1000 /* VP.Margin */, QueryType.ByHeight, doc, 0, 0).from, map.lineAt(visibleBottom + (1 - marginTop) * 1000 /* VP.Margin */, QueryType.ByHeight, doc, 0, 0).to);
+        let map = this.heightMap, oracle = this.heightOracle;
+        let { visibleTop, visibleBottom } = this;
+        let viewport = new Viewport(map.lineAt(visibleTop - marginTop * 1000 /* VP.Margin */, QueryType.ByHeight, oracle, 0, 0).from, map.lineAt(visibleBottom + (1 - marginTop) * 1000 /* VP.Margin */, QueryType.ByHeight, oracle, 0, 0).to);
         // If scrollTarget is given, make sure the viewport includes that position
         if (scrollTarget) {
             let { head } = scrollTarget.range;
             if (head < viewport.from || head > viewport.to) {
                 let viewHeight = Math.min(this.editorHeight, this.pixelViewport.bottom - this.pixelViewport.top);
-                let block = map.lineAt(head, QueryType.ByPos, doc, 0, 0), topPos;
+                let block = map.lineAt(head, QueryType.ByPos, oracle, 0, 0), topPos;
                 if (scrollTarget.y == "center")
                     topPos = (block.top + block.bottom) / 2 - viewHeight / 2;
                 else if (scrollTarget.y == "start" || scrollTarget.y == "nearest" && head < viewport.from)
                     topPos = block.top;
                 else
                     topPos = block.bottom - viewHeight;
-                viewport = new Viewport(map.lineAt(topPos - 1000 /* VP.Margin */ / 2, QueryType.ByHeight, doc, 0, 0).from, map.lineAt(topPos + viewHeight + 1000 /* VP.Margin */ / 2, QueryType.ByHeight, doc, 0, 0).to);
+                viewport = new Viewport(map.lineAt(topPos - 1000 /* VP.Margin */ / 2, QueryType.ByHeight, oracle, 0, 0).from, map.lineAt(topPos + viewHeight + 1000 /* VP.Margin */ / 2, QueryType.ByHeight, oracle, 0, 0).to);
             }
         }
         return viewport;
     }
     mapViewport(viewport, changes) {
         let from = changes.mapPos(viewport.from, -1), to = changes.mapPos(viewport.to, 1);
-        return new Viewport(this.heightMap.lineAt(from, QueryType.ByPos, this.state.doc, 0, 0).from, this.heightMap.lineAt(to, QueryType.ByPos, this.state.doc, 0, 0).to);
+        return new Viewport(this.heightMap.lineAt(from, QueryType.ByPos, this.heightOracle, 0, 0).from, this.heightMap.lineAt(to, QueryType.ByPos, this.heightOracle, 0, 0).to);
     }
     // Checks if a given viewport covers the visible part of the
     // document and not too much beyond that.
     viewportIsAppropriate({ from, to }, bias = 0) {
         if (!this.inView)
             return true;
-        let { top } = this.heightMap.lineAt(from, QueryType.ByPos, this.state.doc, 0, 0);
-        let { bottom } = this.heightMap.lineAt(to, QueryType.ByPos, this.state.doc, 0, 0);
+        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 /* VP.MinCoverMargin */, Math.min(-bias, 250 /* VP.MaxCoverMargin */))) &&
             (to == this.state.doc.length ||
@@ -5176,13 +5215,13 @@ class ViewState {
     }
     lineBlockAt(pos) {
         return (pos >= this.viewport.from && pos <= this.viewport.to && this.viewportLines.find(b => b.from <= pos && b.to >= pos)) ||
-            scaleBlock(this.heightMap.lineAt(pos, QueryType.ByPos, this.state.doc, 0, 0), this.scaler);
+            scaleBlock(this.heightMap.lineAt(pos, QueryType.ByPos, this.heightOracle, 0, 0), this.scaler);
     }
     lineBlockAtHeight(height) {
-        return scaleBlock(this.heightMap.lineAt(this.scaler.fromDOM(height), QueryType.ByHeight, this.state.doc, 0, 0), this.scaler);
+        return scaleBlock(this.heightMap.lineAt(this.scaler.fromDOM(height), QueryType.ByHeight, this.heightOracle, 0, 0), this.scaler);
     }
     elementAtHeight(height) {
-        return scaleBlock(this.heightMap.blockAt(this.scaler.fromDOM(height), this.state.doc, 0, 0), this.scaler);
+        return scaleBlock(this.heightMap.blockAt(this.scaler.fromDOM(height), this.heightOracle, 0, 0), this.scaler);
     }
     get docHeight() {
         return this.scaler.toDOM(this.heightMap.height);
@@ -5256,11 +5295,11 @@ const IdScaler = {
 // regions outside the viewports so that the total height is
 // VP.MaxDOMHeight.
 class BigScaler {
-    constructor(doc, heightMap, viewports) {
+    constructor(oracle, heightMap, viewports) {
         let vpHeight = 0, base = 0, domBase = 0;
         this.viewports = viewports.map(({ from, to }) => {
-            let top = heightMap.lineAt(from, QueryType.ByPos, doc, 0, 0).top;
-            let bottom = heightMap.lineAt(to, QueryType.ByPos, doc, 0, 0).bottom;
+            let top = heightMap.lineAt(from, QueryType.ByPos, oracle, 0, 0).top;
+            let bottom = heightMap.lineAt(to, QueryType.ByPos, oracle, 0, 0).bottom;
             vpHeight += bottom - top;
             return { from, to, top, bottom, domTop: 0, domBottom: 0 };
         });
@@ -5627,7 +5666,7 @@ function applyDOMChange(view, domChange) {
         };
     }
     else if ((browser.mac || browser.android) && change && change.from == change.to && change.from == sel.head - 1 &&
-        /^\. ?$/.test(change.insert.toString())) {
+        /^\. ?$/.test(change.insert.toString()) && view.contentDOM.getAttribute("autocorrect") == "off") {
         // Detect insert-period-on-double-space Mac and Android behavior,
         // and transform it into a regular space insert.
         if (newSel && change.insert.length == 2)
@@ -7041,6 +7080,11 @@ called and the default behavior is prevented.
 */
 EditorView.inputHandler = inputHandler;
 /**
+This facet can be used to provide functions that create effects
+to be dispatched when the editor's focus state changes.
+*/
+EditorView.focusChangeEffect = focusChangeEffect;
+/**
 By default, the editor assumes all its content has the same
 [text direction](https://codemirror.net/6/docs/ref/#view.Direction). Configure this with a `true`
 value to make it read the text direction of every (rendered)
@@ -8356,6 +8400,7 @@ const tooltipConfig = /*@__PURE__*/Facet.define({
         });
     }
 });
+const knownHeight = /*@__PURE__*/new WeakMap();
 const tooltipPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
     constructor(view) {
         this.view = view;
@@ -8471,6 +8516,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 +8532,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 +8549,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.9.0",
   "description": "DOM view component for the CodeMirror code editor",
   "scripts": {
     "test": "cm-runtests",