From 41755b1feb5ebbd574fcd3b9aa2a1768799eabb9 Mon Sep 17 00:00:00 2001
From: Tomasz Godzik <tgodzik@virtuslab.com>
Date: Thu, 19 Dec 2024 13:26:36 +0100
Subject: [PATCH] improvement: Add disable release notes option

---
 packages/metals-vscode/package.json     |  6 ++++++
 packages/metals-vscode/src/extension.ts | 16 ++++++++++------
 2 files changed, 16 insertions(+), 6 deletions(-)

diff --git a/packages/metals-vscode/package.json b/packages/metals-vscode/package.json
index 20960297..8ac8da8c 100644
--- 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.1",
diff --git a/packages/metals-vscode/src/extension.ts b/packages/metals-vscode/src/extension.ts
index c17d2547..ff0f14d6 100644
--- 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 {