Preferences/__init__.py

changeset 10
529717676149
parent 7
c679fb30c8f3
child 12
1d8dd9706f46
--- a/Preferences/__init__.py	Wed Dec 30 17:06:30 2009 +0000
+++ b/Preferences/__init__.py	Thu Dec 31 11:40:50 2009 +0000
@@ -2039,6 +2039,8 @@
     """
     if value is None:
         return []
+    elif type(value) != type([]):
+        return [value]
     else:
         return value
     

eric ide

mercurial