diff -r aa48d3e9b008 -r 2f62b060a931 UI/UserInterface.py --- a/UI/UserInterface.py Sat Jul 05 12:23:15 2014 +0200 +++ b/UI/UserInterface.py Sat Jul 05 13:57:33 2014 +0200 @@ -562,7 +562,7 @@ self.helpWindow = None # list of web addresses serving the versions file - self.__httpAlternatives = Preferences.getUI("VersionsUrls5") + self.__httpAlternatives = Preferences.getUI("VersionsUrls6") self.__inVersionCheck = False self.__versionCheckProgress = None @@ -5206,7 +5206,7 @@ else: self.__setWindowCaption(editor="") - self.__httpAlternatives = Preferences.getUI("VersionsUrls5") + self.__httpAlternatives = Preferences.getUI("VersionsUrls6") self.performVersionCheck(False) self.__configureDockareaCornerUsage() @@ -5964,7 +5964,7 @@ urls.append(versions[line]) line += 1 - Preferences.setUI("VersionsUrls5", urls) + Preferences.setUI("VersionsUrls6", urls) def __versionCheckResult(self, versions): """