@codemirror/view 6.13.1 → 6.13.2

package/CHANGELOG.md

@@ -1,3 +1,9 @@
+## 6.13.2 (2023-06-13)
+
+### Bug fixes
+
+Fix an issue in scroll position stabilization for changes above the visible, where Chrome already does this natively and we ended up compensating twice.
+
 ## 6.13.1 (2023-06-12)
 
 ### Bug fixes

package/dist/index.cjs

@@ -6837,15 +6837,16 @@ class EditorView {
         if (flush)
             this.observer.forceFlush();
         let updated = null;
-        let sDOM = this.scrollDOM, { scrollAnchorPos, scrollAnchorHeight } = this.viewState;
+        let sDOM = this.scrollDOM, { scrollTop } = sDOM;
+        let { scrollAnchorPos, scrollAnchorHeight } = this.viewState;
         this.viewState.scrollAnchorHeight = -1;
-        if (scrollAnchorHeight < 0 || sDOM.scrollTop != this.viewState.scrollTop) {
-            if (sDOM.scrollTop > sDOM.scrollHeight - sDOM.clientHeight - 4) {
+        if (scrollAnchorHeight < 0 || scrollTop != this.viewState.scrollTop) {
+            if (scrollTop > sDOM.scrollHeight - sDOM.clientHeight - 4) {
                 scrollAnchorPos = -1;
                 scrollAnchorHeight = this.viewState.heightMap.height;
             }
             else {
-                let block = this.viewState.lineBlockAtHeight(sDOM.scrollTop);
+                let block = this.viewState.lineBlockAtHeight(scrollTop);
                 scrollAnchorPos = block.from;
                 scrollAnchorHeight = block.top;
             }
@@ -6911,7 +6912,7 @@ class EditorView {
                             this.viewState.lineBlockAt(scrollAnchorPos).top;
                         let diff = newAnchorHeight - scrollAnchorHeight;
                         if (diff > 1 || diff < -1) {
-                            sDOM.scrollTop += diff;
+                            sDOM.scrollTop = scrollTop + diff;
                             scrolled = true;
                         }
                     }

package/dist/index.js

@@ -6830,15 +6830,16 @@ class EditorView {
         if (flush)
             this.observer.forceFlush();
         let updated = null;
-        let sDOM = this.scrollDOM, { scrollAnchorPos, scrollAnchorHeight } = this.viewState;
+        let sDOM = this.scrollDOM, { scrollTop } = sDOM;
+        let { scrollAnchorPos, scrollAnchorHeight } = this.viewState;
         this.viewState.scrollAnchorHeight = -1;
-        if (scrollAnchorHeight < 0 || sDOM.scrollTop != this.viewState.scrollTop) {
-            if (sDOM.scrollTop > sDOM.scrollHeight - sDOM.clientHeight - 4) {
+        if (scrollAnchorHeight < 0 || scrollTop != this.viewState.scrollTop) {
+            if (scrollTop > sDOM.scrollHeight - sDOM.clientHeight - 4) {
                 scrollAnchorPos = -1;
                 scrollAnchorHeight = this.viewState.heightMap.height;
             }
             else {
-                let block = this.viewState.lineBlockAtHeight(sDOM.scrollTop);
+                let block = this.viewState.lineBlockAtHeight(scrollTop);
                 scrollAnchorPos = block.from;
                 scrollAnchorHeight = block.top;
             }
@@ -6904,7 +6905,7 @@ class EditorView {
                             this.viewState.lineBlockAt(scrollAnchorPos).top;
                         let diff = newAnchorHeight - scrollAnchorHeight;
                         if (diff > 1 || diff < -1) {
-                            sDOM.scrollTop += diff;
+                            sDOM.scrollTop = scrollTop + diff;
                             scrolled = true;
                         }
                     }

package/package.json

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