Preferences/__init__.py

changeset 1939
eadb2328d7d4
parent 1926
474057fbefe0
child 1945
47016f5af3b8
--- a/Preferences/__init__.py	Mon Jul 09 18:54:06 2012 +0200
+++ b/Preferences/__init__.py	Tue Jul 10 19:06:38 2012 +0200
@@ -550,6 +550,7 @@
         "OpenMasterAutomatically": True,
         "XMLTimestamp": True,
         "RecentNumber": 9,
+        "Workspace": "",
     }
     
     # defaults for the project browser flags settings
@@ -1941,9 +1942,12 @@
     if key in ["RecentNumber"]:
         return int(prefClass.settings.value("MultiProject/" + key,
             prefClass.multiProjectDefaults[key]))
-    else:
+    elif key in ["OpenMasterAutomatically", "XMLTimestamp"]:
         return toBool(prefClass.settings.value("MultiProject/" + key,
             prefClass.multiProjectDefaults[key]))
+    else:
+        return prefClass.settings.value("MultiProject/" + key,
+            prefClass.multiProjectDefaults[key])
     
 
 def setMultiProject(key, value, prefClass=Prefs):

eric ide

mercurial