Preferences/__init__.py

changeset 6891
93f82da09f22
parent 6843
5e1afd1577b9
child 6923
d062df8f1d9f
child 6932
8a3df4c6ac9a
--- a/Preferences/__init__.py	Thu Mar 21 19:26:10 2019 +0100
+++ b/Preferences/__init__.py	Thu Mar 21 19:27:42 2019 +0100
@@ -1915,6 +1915,8 @@
             else:
                 exts.append(".{0}".format(ext))
         return exts
+    
+    return None
 
 
 def setPython(key, value, prefClass=Prefs):
@@ -3187,6 +3189,8 @@
             encoding = prefClass.sysDefaults[key]
         return encoding
     
+    return None
+    
 
 def setSystem(key, value, prefClass=Prefs):
     """

eric ide

mercurial