Plugin manager for enabling/disabling plugins

Go to About Plugins and enable/disable plugins from there.

Reviewed-by: mae

1 files changed, 5 insertions, 0 deletions

diff --git a/src/plugins/coreplugin/plugindialog.h b/src/plugins/coreplugin/plugindialog.h
index 30aa1a5b2c..56200aa182 100644
--- a/src/plugins/coreplugin/plugindialog.h
+++ b/src/plugins/coreplugin/plugindialog.h
@@ -34,6 +34,7 @@
 
 QT_BEGIN_NAMESPACE
 class QPushButton;
+class QLabel;
 QT_END_NAMESPACE
 
 namespace ExtensionSystem {
@@ -52,10 +53,12 @@ public:
     explicit PluginDialog(QWidget *parent);
 
 private slots:
+    void updateRestartRequired();
     void updateButtons();
     void openDetails();
     void openDetails(ExtensionSystem::PluginSpec *spec);
     void openErrorDetails();
+    void closeDialog();
 
 private:
     ExtensionSystem::PluginView *m_view;
@@ -63,6 +66,8 @@ private:
     QPushButton *m_detailsButton;
     QPushButton *m_errorDetailsButton;
     QPushButton *m_closeButton;
+    QLabel *m_restartRequired;
+    static bool m_isRestartRequired;
 };
 
 } // namespace Internal