Preferences/__init__.py

branch
Py2 comp.
changeset 3515
1b8381afe38f
parent 3484
645c12de6b0c
parent 3492
ae74a7201759
child 3539
0c2dc1446ebf
--- a/Preferences/__init__.py	Sun Apr 13 15:45:57 2014 +0200
+++ b/Preferences/__init__.py	Tue Apr 15 22:41:08 2014 +0200
@@ -323,6 +323,7 @@
         "PreviewHtmlFileNameExtensions": ["html", "htm", "svg", "asp", "kid"],
         "PreviewMarkdownFileNameExtensions": ["md", "markdown"],
         "PreviewRestFileNameExtensions": ["rst"],
+        "PreviewQssFileNameExtensions": ["qss"],
         
         "VirtualSpaceOptions": QsciScintilla.SCVS_NONE,
         
@@ -908,6 +909,7 @@
         "SingleDialog": False,
         "ShowTooltip": False,
         "SeparatorChar": "$",
+        "EditorFont": "Monospace,9,-1,5,50,0,0,0,0,0",
     }
     
     # defaults for plugin manager related stuff
@@ -1635,7 +1637,8 @@
     elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters",
                  "PreviewMarkdownFileNameExtensions",
                  "PreviewRestFileNameExtensions",
-                 "PreviewHtmlFileNameExtensions"]:
+                 "PreviewHtmlFileNameExtensions",
+                 "PreviewQssFileNameExtensions"]:
         return toList(prefClass.settings.value(
             "Editor/" + key, prefClass.editorDefaults[key]))
     else:
@@ -2531,6 +2534,11 @@
     if key in ["SeparatorChar"]:
         return prefClass.settings.value(
             "Templates/" + key, prefClass.templatesDefaults[key])
+    elif key in ["EditorFont"]:
+        f = QFont()
+        f.fromString(prefClass.settings.value(
+            "Templates/" + key, prefClass.templatesDefaults[key]))
+        return f
     else:
         return toBool(prefClass.settings.value(
             "Templates/" + key, prefClass.templatesDefaults[key]))
@@ -2544,7 +2552,10 @@
     @param value the value to be set
     @param prefClass preferences class used as the storage area
     """
-    prefClass.settings.setValue("Templates/" + key, value)
+    if key in ["EditorFont"]:
+        prefClass.settings.setValue("Templates/" + key, value.toString())
+    else:
+        prefClass.settings.setValue("Templates/" + key, value)
     
 
 def getPluginManager(key, prefClass=Prefs):

eric ide

mercurial