PluginManager/PluginManager.py

changeset 6629
643ec3a53d17
parent 6611
59b262a8e31c
child 6645
ad476851d7e0
equal deleted inserted replaced
6628:c3f0f6bffd21 6629:643ec3a53d17
335 self.loadPlugin(pluginName, self.pluginDirs["eric6"]) 335 self.loadPlugin(pluginName, self.pluginDirs["eric6"])
336 336
337 if develPluginName: 337 if develPluginName:
338 self.loadPlugin(develPluginName, develPluginPath) 338 self.loadPlugin(develPluginName, develPluginPath)
339 self.__develPluginName = develPluginName 339 self.__develPluginName = develPluginName
340
341 def loadDocumentationSetPlugins(self):
342 """
343 Public method to load just the documentation sets plugins.
344
345 @exception PluginModulesError raised to indicate the absence of
346 plug-in modules
347 """
348 if not self.__pluginModulesExist():
349 raise PluginModulesError
350
351 self.__insertPluginsPaths()
352
353 for pluginName in self.__foundGlobalModules:
354 # user and core plug-ins have priority
355 if pluginName not in self.__foundUserModules and \
356 pluginName not in self.__foundCoreModules and \
357 pluginName.startswith("PluginDocumentationSets"):
358 self.loadPlugin(pluginName, self.pluginDirs["global"])
359
360 for pluginName in self.__foundUserModules:
361 # core plug-ins have priority
362 if pluginName not in self.__foundCoreModules and \
363 pluginName.startswith("PluginDocumentationSets"):
364 self.loadPlugin(pluginName, self.pluginDirs["user"])
365
366 for pluginName in self.__foundCoreModules:
367 # plug-in under development has priority
368 if pluginName.startswith("PluginDocumentationSets"):
369 self.loadPlugin(pluginName, self.pluginDirs["eric6"])
340 370
341 def loadPlugin(self, name, directory, reload_=False): 371 def loadPlugin(self, name, directory, reload_=False):
342 """ 372 """
343 Public method to load a plugin module. 373 Public method to load a plugin module.
344 374

eric ide

mercurial