Preferences/__init__.py

changeset 740
9625b5817d1c
parent 728
3ee110082fb7
child 748
eb7e73107d27
--- a/Preferences/__init__.py	Sun Dec 05 18:14:56 2010 +0100
+++ b/Preferences/__init__.py	Tue Dec 07 08:45:48 2010 +0100
@@ -291,6 +291,8 @@
         "DefaultEncoding" : "utf-8",
         "DefaultOpenFilter" : "",
         "DefaultSaveFilter" : "",
+        "AdditionalOpenFilters" : [], 
+        "AdditionalSaveFilters" : [], 
         
         "ZoomFactor" : 0, 
         
@@ -1286,6 +1288,9 @@
                  "PostScriptLevel", "EOLMode", "ZoomFactor"]:
         return int(prefClass.settings.value("Editor/" + key, 
             prefClass.editorDefaults[key]))
+    elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters"]:
+        return toList(prefClass.settings.value("Editor/" + key, 
+            prefClass.editorDefaults[key]))
     else:
         return toBool(prefClass.settings.value("Editor/" + key, 
             prefClass.editorDefaults[key]))

eric ide

mercurial