eric6/PluginManager/PluginManager.py

changeset 8306
2bfd53096b5f
parent 8293
cad568796748
child 8396
437fb6ba91bd
equal deleted inserted replaced
8305:698a4d9f4977 8306:2bfd53096b5f
108 108
109 self.__inactivePluginsKey = "PluginManager/InactivePlugins" 109 self.__inactivePluginsKey = "PluginManager/InactivePlugins"
110 110
111 self.pluginDirs = { 111 self.pluginDirs = {
112 "eric6": os.path.join(getConfig('ericDir'), "Plugins"), 112 "eric6": os.path.join(getConfig('ericDir'), "Plugins"),
113 "global": os.path.join(Utilities.getPythonModulesDirectory(), 113 "global": os.path.join(Utilities.getPythonLibraryDirectory(),
114 "eric6plugins"), 114 "eric6plugins"),
115 "user": os.path.join(Utilities.getConfigDir(), "eric6plugins"), 115 "user": os.path.join(Utilities.getConfigDir(), "eric6plugins"),
116 } 116 }
117 self.__priorityOrder = ["eric6", "global", "user"] 117 self.__priorityOrder = ["eric6", "global", "user"]
118 118

eric ide

mercurial