UI/UserInterface.py

changeset 3676
2f62b060a931
parent 3670
f0cb7579c0b4
child 3702
dabc69b82c7c
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):
         """

eric ide

mercurial