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 |