--- 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): """