improvement: set diagnostic collection name

scalameta · Feb 17, 2025 · 3c4079f · 3c4079f
1 parent 91e90cf
commit 3c4079f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/metals-vscode/src/extension.ts b/packages/metals-vscode/src/extension.ts
@@ -406,6 +406,7 @@ function launchMetals(
     markdown: {
       isTrusted: true,
     },
+    diagnosticCollectionName: "Metals",
   };
 
   function hoverLinksMiddlewareHook(