@codemirror/lint 6.9.4 → 6.9.6

package/CHANGELOG.md

@@ -1,3 +1,15 @@
+## 6.9.6 (2026-05-06)
+
+### Bug fixes
+
+Pop open a diagnostic's tooltip when moving to it with `nextDiagnostic` or `previousDiagnostic`.
+
+## 6.9.5 (2026-03-02)
+
+### Bug fixes
+
+Use more appropriate background colors for the selected diagnostic in dark mode.
+
 ## 6.9.4 (2026-02-11)
 
 ### Bug fixes

package/README.md

@@ -1,6 +1,6 @@
 # @codemirror/lint [![NPM version](https://img.shields.io/npm/v/@codemirror/lint.svg)](https://www.npmjs.org/package/@codemirror/lint)
 
-[ [**WEBSITE**](https://codemirror.net/) | [**DOCS**](https://codemirror.net/docs/ref/#lint) | [**ISSUES**](https://github.com/codemirror/dev/issues) | [**FORUM**](https://discuss.codemirror.net/c/next/) | [**CHANGELOG**](https://github.com/codemirror/lint/blob/main/CHANGELOG.md) ]
+[ [**WEBSITE**](https://codemirror.net/) | [**DOCS**](https://codemirror.net/docs/ref/#lint) | [**ISSUES**](https://code.haverbeke.berlin/codemirror/dev/issues) | [**FORUM**](https://discuss.codemirror.net/) | [**CHANGELOG**](https://code.haverbeke.berlin/codemirror/lint/src/branch/main/CHANGELOG.md) ]
 
 This package implements linting support for the
 [CodeMirror](https://codemirror.net/) code editor.
@@ -10,7 +10,7 @@ number of [examples](https://codemirror.net/examples/) and the
 [documentation](https://codemirror.net/docs/).
 
 This code is released under an
-[MIT license](https://github.com/codemirror/lint/tree/main/LICENSE).
+[MIT license](https://code.haverbeke.berlin/codemirror/lint/tree/main/LICENSE).
 
 We aim to be an inclusive, welcoming community. To make that explicit,
 we have a [code of

package/dist/index.cjs

@@ -239,24 +239,29 @@ const closeLintPanel = (view) => {
 /**
 Move the selection to the next diagnostic.
 */
-const nextDiagnostic = (view) => {
-    let field = view.state.field(lintState, false);
+const nextDiagnostic = (view$1) => {
+    let field = view$1.state.field(lintState, false);
     if (!field)
         return false;
-    let sel = view.state.selection.main, next = findDiagnostic(field.diagnostics, null, sel.to + 1);
+    let sel = view$1.state.selection.main, next = findDiagnostic(field.diagnostics, null, sel.to + 1);
     if (!next) {
         next = findDiagnostic(field.diagnostics, null, 0);
         if (!next || next.from == sel.from && next.to == sel.to)
             return false;
     }
-    view.dispatch({ selection: { anchor: next.from, head: next.to }, scrollIntoView: true });
+    view$1.dispatch({ selection: { anchor: next.from, head: next.to }, scrollIntoView: true });
+    view.activateHover(view$1, next.from, 1, {
+        tooltip: lintHover,
+        until: tr => tr.docChanged || tr.newSelection.main.head < next.from || tr.newSelection.main.head > next.to
+    });
     return true;
 };
 /**
 Move the selection to the previous diagnostic.
 */
-const previousDiagnostic = (view) => {
-    let { state } = view, field = state.field(lintState, false);
+const previousDiagnostic = (view$1) => {
+    var _a;
+    let { state } = view$1, field = state.field(lintState, false);
     if (!field)
         return false;
     let sel = state.selection.main;
@@ -273,7 +278,12 @@ const previousDiagnostic = (view) => {
     });
     if (lastFrom == null || prevFrom == null && lastFrom == sel.from)
         return false;
-    view.dispatch({ selection: { anchor: prevFrom !== null && prevFrom !== void 0 ? prevFrom : lastFrom, head: prevTo !== null && prevTo !== void 0 ? prevTo : lastTo }, scrollIntoView: true });
+    let from = prevFrom !== null && prevFrom !== void 0 ? prevFrom : lastFrom, to = (_a = prevTo !== null && prevTo !== void 0 ? prevTo : lastTo) !== null && _a !== void 0 ? _a : from;
+    view$1.dispatch({ selection: { anchor: from, head: to }, scrollIntoView: true });
+    view.activateHover(view$1, from, 1, {
+        tooltip: lintHover,
+        until: tr => tr.docChanged || tr.newSelection.main.head < from || tr.newSelection.main.head > to
+    });
     return true;
 };
 /**
@@ -667,7 +677,7 @@ const baseTheme = view.EditorView.baseTheme({
         backgroundRepeat: "repeat-x",
         paddingBottom: "0.7px",
     },
-    ".cm-lintRange-error": { backgroundImage: underline("#d11") },
+    ".cm-lintRange-error": { backgroundImage: underline("#f11") },
     ".cm-lintRange-warning": { backgroundImage: underline("orange") },
     ".cm-lintRange-info": { backgroundImage: underline("#999") },
     ".cm-lintRange-hint": { backgroundImage: underline("#66d") },
@@ -726,6 +736,12 @@ const baseTheme = view.EditorView.baseTheme({
             padding: 0,
             margin: 0
         }
+    },
+    "&dark .cm-lintRange-active": { backgroundColor: "#86714a80" },
+    "&dark .cm-panel.cm-panel-lint ul": {
+        "& [aria-selected]": {
+            backgroundColor: "#2e343e",
+        },
     }
 });
 function severityWeight(sev) {
@@ -880,6 +896,7 @@ const lintGutterTheme = view.EditorView.baseTheme({
         content: svg(`<circle cx="20" cy="20" r="15" fill="#f87" stroke="#f43" stroke-width="6"/>`)
     },
 });
+const lintHover = view.hoverTooltip(lintTooltip, { hideOn: hideTooltip });
 const lintExtensions = [
     lintState,
     view.EditorView.decorations.compute([lintState], state => {
@@ -888,7 +905,7 @@ const lintExtensions = [
             activeMark.range(selected.from, selected.to)
         ]);
     }),
-    view.hoverTooltip(lintTooltip, { hideOn: hideTooltip }),
+    lintHover,
     baseTheme
 ];
 const lintGutterConfig = state.Facet.define({

package/dist/index.js

@@ -1,4 +1,4 @@
-import { Decoration, showPanel, EditorView, ViewPlugin, gutter, showTooltip, hoverTooltip, getPanel, logException, WidgetType, GutterMarker } from '@codemirror/view';
+import { Decoration, showPanel, EditorView, ViewPlugin, gutter, showTooltip, hoverTooltip, getPanel, activateHover, logException, WidgetType, GutterMarker } from '@codemirror/view';
 import { StateEffect, StateField, Facet, combineConfig, RangeSet, RangeSetBuilder } from '@codemirror/state';
 import elt from 'crelt';
 
@@ -248,12 +248,17 @@ const nextDiagnostic = (view) => {
             return false;
     }
     view.dispatch({ selection: { anchor: next.from, head: next.to }, scrollIntoView: true });
+    activateHover(view, next.from, 1, {
+        tooltip: lintHover,
+        until: tr => tr.docChanged || tr.newSelection.main.head < next.from || tr.newSelection.main.head > next.to
+    });
     return true;
 };
 /**
 Move the selection to the previous diagnostic.
 */
 const previousDiagnostic = (view) => {
+    var _a;
     let { state } = view, field = state.field(lintState, false);
     if (!field)
         return false;
@@ -271,7 +276,12 @@ const previousDiagnostic = (view) => {
     });
     if (lastFrom == null || prevFrom == null && lastFrom == sel.from)
         return false;
-    view.dispatch({ selection: { anchor: prevFrom !== null && prevFrom !== void 0 ? prevFrom : lastFrom, head: prevTo !== null && prevTo !== void 0 ? prevTo : lastTo }, scrollIntoView: true });
+    let from = prevFrom !== null && prevFrom !== void 0 ? prevFrom : lastFrom, to = (_a = prevTo !== null && prevTo !== void 0 ? prevTo : lastTo) !== null && _a !== void 0 ? _a : from;
+    view.dispatch({ selection: { anchor: from, head: to }, scrollIntoView: true });
+    activateHover(view, from, 1, {
+        tooltip: lintHover,
+        until: tr => tr.docChanged || tr.newSelection.main.head < from || tr.newSelection.main.head > to
+    });
     return true;
 };
 /**
@@ -665,7 +675,7 @@ const baseTheme = /*@__PURE__*/EditorView.baseTheme({
         backgroundRepeat: "repeat-x",
         paddingBottom: "0.7px",
     },
-    ".cm-lintRange-error": { backgroundImage: /*@__PURE__*/underline("#d11") },
+    ".cm-lintRange-error": { backgroundImage: /*@__PURE__*/underline("#f11") },
     ".cm-lintRange-warning": { backgroundImage: /*@__PURE__*/underline("orange") },
     ".cm-lintRange-info": { backgroundImage: /*@__PURE__*/underline("#999") },
     ".cm-lintRange-hint": { backgroundImage: /*@__PURE__*/underline("#66d") },
@@ -724,6 +734,12 @@ const baseTheme = /*@__PURE__*/EditorView.baseTheme({
             padding: 0,
             margin: 0
         }
+    },
+    "&dark .cm-lintRange-active": { backgroundColor: "#86714a80" },
+    "&dark .cm-panel.cm-panel-lint ul": {
+        "& [aria-selected]": {
+            backgroundColor: "#2e343e",
+        },
     }
 });
 function severityWeight(sev) {
@@ -878,6 +894,7 @@ const lintGutterTheme = /*@__PURE__*/EditorView.baseTheme({
         content: /*@__PURE__*/svg(`<circle cx="20" cy="20" r="15" fill="#f87" stroke="#f43" stroke-width="6"/>`)
     },
 });
+const lintHover = /*@__PURE__*/hoverTooltip(lintTooltip, { hideOn: hideTooltip });
 const lintExtensions = [
     lintState,
     /*@__PURE__*/EditorView.decorations.compute([lintState], state => {
@@ -886,7 +903,7 @@ const lintExtensions = [
             activeMark.range(selected.from, selected.to)
         ]);
     }),
-    /*@__PURE__*/hoverTooltip(lintTooltip, { hideOn: hideTooltip }),
+    lintHover,
     baseTheme
 ];
 const lintGutterConfig = /*@__PURE__*/Facet.define({

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@codemirror/lint",
-  "version": "6.9.4",
+  "version": "6.9.6",
   "description": "Linting support for the CodeMirror code editor",
   "scripts": {
     "test": "cm-runtests",
@@ -27,7 +27,7 @@
   "license": "MIT",
   "dependencies": {
     "@codemirror/state": "^6.0.0",
-    "@codemirror/view": "^6.35.0",
+    "@codemirror/view": "^6.42.0",
     "crelt": "^1.0.5"
   },
   "devDependencies": {
@@ -35,6 +35,6 @@
   },
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/codemirror/lint.git"
+    "url": "git+https://code.haverbeke.berlin/codemirror/lint.git"
   }
 }

package/.github/workflows/dispatch.yml

@@ -1,16 +0,0 @@
-name: Trigger CI
-on: push
-
-jobs:
-  build:
-    name: Dispatch to main repo
-    runs-on: ubuntu-latest
-    steps:
-      - name: Emit repository_dispatch
-        uses: mvasigh/dispatch-action@main
-        with:
-          # You should create a personal access token and store it in your repository
-          token: ${{ secrets.DISPATCH_AUTH }}
-          repo: dev
-          owner: codemirror
-          event_type: push