From f911f87dd130771385dc0e755a06f52f6ee35f4a Mon Sep 17 00:00:00 2001
From: Alessandro Magoga <alessandro.magoga92@gmail.com>
Date: Fri, 27 Jan 2023 16:32:09 +0100
Subject: [PATCH] Add Reload Window on extension install/update

---
 src/commands/installUpdateExtension.js | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/commands/installUpdateExtension.js b/src/commands/installUpdateExtension.js
index 577a3db..f5df987 100644
--- a/src/commands/installUpdateExtension.js
+++ b/src/commands/installUpdateExtension.js
@@ -9,9 +9,15 @@ function installExtension(extension) {
     .then(() => {
       vscode.window.showInformationMessage(
         `${extension.displayName} (${extension.version}) installed.`,
-        'Ok'
-      )
-      vscode.commands.executeCommand('privateExtensionManager.checkForUpdates')
+        'Ok',
+        'Reload Window'
+      ).then(selection => {
+        if (selection === 'Reload Window') {
+          vscode.commands.executeCommand("workbench.action.reloadWindow")
+        }
+
+        vscode.commands.executeCommand('privateExtensionManager.checkForUpdates')
+      })
     }, reason => {
       vscode.window.showErrorMessage(
         `${extension.displayName} (${extension.version}) installation failed.${reason}`,