PluginManager/PluginInstallDialog.py

changeset 4378
d8f81e864816
parent 4021
195a471c327b
child 4386
510090f78d0a
diff -r 7847a37ee71d -r d8f81e864816 PluginManager/PluginInstallDialog.py
--- a/PluginManager/PluginInstallDialog.py	Wed Aug 19 11:00:48 2015 +0200
+++ b/PluginManager/PluginInstallDialog.py	Fri Aug 21 14:16:37 2015 +0200
@@ -211,6 +211,9 @@
         elif button == self.__finishButton:
             self.__finishButton.setEnabled(False)
             self.__installPlugins()
+            if not Preferences.getPluginManager("ActivateExternal"):
+                Preferences.setPluginManager("ActivateExternal", True)
+                self.__restartNeeded = True
             self.__closeButton.show()
             self.__cancelButton.hide()
     

eric ide

mercurial