Add way to manually trigger lint

Author: tmcw

src/lint/tsLinter.ts

@@ -1,6 +1,19 @@
 import { type Diagnostic, linter } from "@codemirror/lint";
 import { tsFacet } from "../facet/tsFacet.js";
 import { getLints } from "./getLints.js";
+import { Annotation } from "@codemirror/state";
+
+/**
+ * An annotation that you can send to CodeMirror to cause the code
+ * to be re-linted. This could be because you've updated stuff
+ * out-of-band in the TypeScript environment.
+ *
+ * @example
+ * view.dispatch({
+ *   annotations: [triggerLint.of(true)],
+ * });
+ */
+export const triggerLint = Annotation.define<boolean>();
 
 /**
  * Binds the TypeScript `lint()` method with TypeScript's
@@ -11,13 +24,20 @@ import { getLints } from "./getLints.js";
 export function tsLinter({
   diagnosticCodesToIgnore,
 }: { diagnosticCodesToIgnore?: number[] } = {}) {
-  return linter(async (view): Promise<readonly Diagnostic[]> => {
-    const config = view.state.facet(tsFacet);
-    return config
-      ? getLints({
-          ...config,
-          diagnosticCodesToIgnore: diagnosticCodesToIgnore || [],
-        })
-      : [];
-  });
+  return linter(
+    async (view): Promise<readonly Diagnostic[]> => {
+      const config = view.state.facet(tsFacet);
+      return config
+        ? getLints({
+            ...config,
+            diagnosticCodesToIgnore: diagnosticCodesToIgnore || [],
+          })
+        : [];
+    },
+    {
+      needsRefresh: (update) => {
+        return update.transactions.some((tr) => tr.annotation(triggerLint));
+      },
+    },
+  );
 }