From eeeaf61378f1cbb696029c96faeaff34b5c54a8d Mon Sep 17 00:00:00 2001
From: Alessandro Portale <alessandro.portale@qt.io>
Date: Wed, 25 Sep 2024 13:01:57 +0200
Subject: [PATCH] ExtensionManager: Add "Install Extension..." button to
 settings page

This allows users to install an extension from a local archive.

Fixes: QTCREATORBUG-31583
Change-Id: Ie9b411b3f6152924c80785cfabacd274db162d73
Reviewed-by: Marcus Tillmanns <marcus.tillmanns@qt.io>
---
 .../extensionmanager/extensionmanagersettings.cpp | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/src/plugins/extensionmanager/extensionmanagersettings.cpp b/src/plugins/extensionmanager/extensionmanagersettings.cpp
index 64a084d7d43..29a04d37f85 100644
--- a/src/plugins/extensionmanager/extensionmanagersettings.cpp
+++ b/src/plugins/extensionmanager/extensionmanagersettings.cpp
@@ -8,6 +8,8 @@
 
 #include <coreplugin/coreconstants.h>
 #include <coreplugin/dialogs/ioptionspage.h>
+#include <coreplugin/icore.h>
+#include <coreplugin/plugininstallwizard.h>
 
 #include <utils/layoutbuilder.h>
 
@@ -41,7 +43,18 @@ ExtensionManagerSettings::ExtensionManagerSettings()
                 groupChecker(useExternalRepo.groupChecker()),
                 Form {
                     externalRepoUrl
-                }
+                },
+            },
+            Row {
+                PushButton {
+                    text(Tr::tr("Install Extension...")),
+                    onClicked([] {
+                        if (Core::executePluginInstallWizard())
+                            Core::ICore::askForRestart(
+                                    Tr::tr("Plugin changes will take effect after restart."));
+                    }, this),
+                },
+                st,
             },
             st
         };