PluginManager/PluginInstallDialog.py

changeset 3034
7ce719013078
parent 2992
dbdf27746da5
child 3036
30c81c9e88b8
equal deleted inserted replaced
3033:58fe260e7469 3034:7ce719013078
378 activatePlugin = False 378 activatePlugin = False
379 if not self.__external: 379 if not self.__external:
380 activatePlugin = \ 380 activatePlugin = \
381 not self.__pluginManager.isPluginLoaded( 381 not self.__pluginManager.isPluginLoaded(
382 installedPluginName) or \ 382 installedPluginName) or \
383 (self.__pluginManager.isPluginLoaded(installedPluginName) and \ 383 (self.__pluginManager.isPluginLoaded(installedPluginName) and
384 self.__pluginManager.isPluginActive(installedPluginName)) 384 self.__pluginManager.isPluginActive(installedPluginName))
385 # try to unload a plugin with the same name 385 # try to unload a plugin with the same name
386 self.__pluginManager.unloadPlugin(installedPluginName) 386 self.__pluginManager.unloadPlugin(installedPluginName)
387 387
388 # uninstall existing plugin first to get clean conditions 388 # uninstall existing plugin first to get clean conditions

eric ide

mercurial