Merge pull request #1566 from tgodzik/disable-release-notes

improvement: Add disable release notes option
scalameta · Dec 19, 2024 · 56aa2e8 · 56aa2e8
2 parents f345732 + 41755b1
commit 56aa2e8
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 6 deletions.
diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json
@@ -219,6 +219,12 @@
     "configuration": {
       "title": "Metals",
       "properties": {
+        "metals.disableReleaseNotes": {
+          "type": "boolean",
+          "default": false,
+          "scope": "machine",
+          "markdownDescription": "Do not show release notes when Metals was updated."
+        },
         "metals.serverVersion": {
           "type": "string",
           "default": "1.4.2",

diff --git a/packages/metals-vscode/src/extension.ts b/packages/metals-vscode/src/extension.ts
@@ -148,12 +148,16 @@ export async function activate(context: ExtensionContext): Promise<void> {
     }
   );
 
-  await showReleaseNotes(
-    "onExtensionStart",
-    context,
-    serverVersion,
-    outputChannel
-  );
+  const disableReleaseNotes =
+    config.get<boolean>("disableReleaseNotes") ?? false;
+  if (!disableReleaseNotes) {
+    await showReleaseNotes(
+      "onExtensionStart",
+      context,
+      serverVersion,
+      outputChannel
+    );
+  }
 }
 
 function migrateOldSettings(): void {