@codemirror/view 0.19.22 → 0.19.23

package/CHANGELOG.md

@@ -1,3 +1,13 @@
+## 0.19.23 (2021-11-30)
+
+### Bug fixes
+
+Fix an issue where after some kinds of changes, `EditorView.viewportLineBlocks` held an out-of-date set of blocks.
+
+### New features
+
+Export `EditorView.documentPadding`, with information about the vertical padding of the document.
+
 ## 0.19.22 (2021-11-30)
 
 ### Bug fixes

package/dist/index.cjs

@@ -1912,7 +1912,7 @@ class ViewUpdate {
     Whether the document changed in this update.
     */
     get docChanged() {
-        return this.transactions.some(tr => tr.docChanged);
+        return !this.changes.empty;
     }
     /**
     Whether the selection was explicitly set in this update.
@@ -4575,10 +4575,11 @@ class ViewState {
         if (scrollTarget && (scrollTarget.range.head < viewport.from || scrollTarget.range.head > viewport.to) ||
             !this.viewportIsAppropriate(viewport))
             viewport = this.getViewport(0, scrollTarget);
-        if (!update.changes.empty || (update.flags & 2 /* Height */) ||
-            viewport.from != this.viewport.from || viewport.to != this.viewport.to)
-            this.updateViewportLines();
+        let updateLines = !update.changes.empty || (update.flags & 2 /* Height */) ||
+            viewport.from != this.viewport.from || viewport.to != this.viewport.to;
         this.viewport = viewport;
+        if (updateLines)
+            this.updateViewportLines();
         this.updateForViewport();
         if (this.lineGaps.length || this.viewport.to - this.viewport.from > 4000 /* DoubleMargin */)
             this.updateLineGaps(this.ensureLineGaps(this.mapLineGaps(this.lineGaps, update.changes)));
@@ -6069,12 +6070,19 @@ class EditorView {
     }
     /**
     The top position of the document, in screen coordinates. This
-    may be negative when the editor is scrolled down.
+    may be negative when the editor is scrolled down. Points
+    directly to the top of the first line, not above the padding.
     */
     get documentTop() {
         return this.contentDOM.getBoundingClientRect().top + this.viewState.paddingTop;
     }
     /**
+    Reports the padding above and below the document.
+    */
+    get documentPadding() {
+        return { top: this.viewState.paddingTop, bottom: this.viewState.paddingBottom };
+    }
+    /**
     Find the line or block widget at the given vertical position.
     
     By default, this position is interpreted as a screen position,

package/dist/index.d.ts

@@ -769,10 +769,18 @@ declare class EditorView {
     plugin<T>(plugin: ViewPlugin<T>): T | null;
     /**
     The top position of the document, in screen coordinates. This
-    may be negative when the editor is scrolled down.
+    may be negative when the editor is scrolled down. Points
+    directly to the top of the first line, not above the padding.
     */
     get documentTop(): number;
     /**
+    Reports the padding above and below the document.
+    */
+    get documentPadding(): {
+        top: number;
+        bottom: number;
+    };
+    /**
     Find the line or block widget at the given vertical position.
     
     By default, this position is interpreted as a screen position,

package/dist/index.js

@@ -1908,7 +1908,7 @@ class ViewUpdate {
     Whether the document changed in this update.
     */
     get docChanged() {
-        return this.transactions.some(tr => tr.docChanged);
+        return !this.changes.empty;
     }
     /**
     Whether the selection was explicitly set in this update.
@@ -4569,10 +4569,11 @@ class ViewState {
         if (scrollTarget && (scrollTarget.range.head < viewport.from || scrollTarget.range.head > viewport.to) ||
             !this.viewportIsAppropriate(viewport))
             viewport = this.getViewport(0, scrollTarget);
-        if (!update.changes.empty || (update.flags & 2 /* Height */) ||
-            viewport.from != this.viewport.from || viewport.to != this.viewport.to)
-            this.updateViewportLines();
+        let updateLines = !update.changes.empty || (update.flags & 2 /* Height */) ||
+            viewport.from != this.viewport.from || viewport.to != this.viewport.to;
         this.viewport = viewport;
+        if (updateLines)
+            this.updateViewportLines();
         this.updateForViewport();
         if (this.lineGaps.length || this.viewport.to - this.viewport.from > 4000 /* DoubleMargin */)
             this.updateLineGaps(this.ensureLineGaps(this.mapLineGaps(this.lineGaps, update.changes)));
@@ -6063,12 +6064,19 @@ class EditorView {
     }
     /**
     The top position of the document, in screen coordinates. This
-    may be negative when the editor is scrolled down.
+    may be negative when the editor is scrolled down. Points
+    directly to the top of the first line, not above the padding.
     */
     get documentTop() {
         return this.contentDOM.getBoundingClientRect().top + this.viewState.paddingTop;
     }
     /**
+    Reports the padding above and below the document.
+    */
+    get documentPadding() {
+        return { top: this.viewState.paddingTop, bottom: this.viewState.paddingBottom };
+    }
+    /**
     Find the line or block widget at the given vertical position.
     
     By default, this position is interpreted as a screen position,

package/package.json

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