eric7/E5XML/PluginRepositoryReader.py

branch
eric7
changeset 8318
962bce857696
parent 8312
800c432b34c8
equal deleted inserted replaced
8316:0c7a44af84bc 8318:962bce857696
46 pluginRepositoryFileFormatVersion) 46 pluginRepositoryFileFormatVersion)
47 if self.version not in self.supportedVersions: 47 if self.version not in self.supportedVersions:
48 self.raiseUnsupportedFormatVersion(self.version) 48 self.raiseUnsupportedFormatVersion(self.version)
49 elif self.name() == "RepositoryUrl": 49 elif self.name() == "RepositoryUrl":
50 url = self.readElementText() 50 url = self.readElementText()
51 Preferences.setUI("PluginRepositoryUrl6", url) 51 Preferences.setUI("PluginRepositoryUrl7", url)
52 elif self.name() == "Plugin": 52 elif self.name() == "Plugin":
53 self.__readPlugin() 53 self.__readPlugin()
54 else: 54 else:
55 self._skipUnknownElement() 55 self._skipUnknownElement()
56 56

eric ide

mercurial