PluginManager/PluginInstallDialog.py

changeset 4378
d8f81e864816
parent 4021
195a471c327b
child 4386
510090f78d0a
equal deleted inserted replaced
4376:7847a37ee71d 4378:d8f81e864816
209 self.__currentIndex += 1 209 self.__currentIndex += 1
210 self.__selectPage() 210 self.__selectPage()
211 elif button == self.__finishButton: 211 elif button == self.__finishButton:
212 self.__finishButton.setEnabled(False) 212 self.__finishButton.setEnabled(False)
213 self.__installPlugins() 213 self.__installPlugins()
214 if not Preferences.getPluginManager("ActivateExternal"):
215 Preferences.setPluginManager("ActivateExternal", True)
216 self.__restartNeeded = True
214 self.__closeButton.show() 217 self.__closeButton.show()
215 self.__cancelButton.hide() 218 self.__cancelButton.hide()
216 219
217 def __installPlugins(self): 220 def __installPlugins(self):
218 """ 221 """

eric ide

mercurial