@codemirror/lint 0.19.5 → 0.19.6

package/CHANGELOG.md

@@ -1,3 +1,9 @@
+## 0.19.6 (2022-03-04)
+
+### Bug fixes
+
+Fix a bug where hovering over the icons in the lint gutter would sometimes fail to show a tooltip or show the tooltip for another line.
+
 ## 0.19.5 (2022-02-25)
 
 ### Bug fixes

package/dist/index.cjs

@@ -611,7 +611,7 @@ function trackHoverOn(view, marker) {
 }
 function gutterMarkerMouseOver(view, marker, diagnostics) {
     function hovered() {
-        let line = view.visualLineAtHeight(marker.getBoundingClientRect().top + 5 - view.documentTop);
+        let line = view.elementAtHeight(marker.getBoundingClientRect().top + 5 - view.documentTop);
         const linePos = view.coordsAtPos(line.from);
         if (linePos) {
             view.dispatch({ effects: setLintGutterTooltip.of({

package/dist/index.js

@@ -603,7 +603,7 @@ function trackHoverOn(view, marker) {
 }
 function gutterMarkerMouseOver(view, marker, diagnostics) {
     function hovered() {
-        let line = view.visualLineAtHeight(marker.getBoundingClientRect().top + 5 - view.documentTop);
+        let line = view.elementAtHeight(marker.getBoundingClientRect().top + 5 - view.documentTop);
         const linePos = view.coordsAtPos(line.from);
         if (linePos) {
             view.dispatch({ effects: setLintGutterTooltip.of({

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@codemirror/lint",
-  "version": "0.19.5",
+  "version": "0.19.6",
   "description": "Linting support for the CodeMirror code editor",
   "scripts": {
     "test": "cm-runtests",