Merge pull request #1 from JulienCroain/master

Rebase with JulienCroain master
informagico · May 18, 2023 · c7099cd · c7099cd
2 parents 2665493 + bca1a63
commit c7099cd
Showing 1 changed file with 9 additions and 3 deletions.
diff --git 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}`,