--- a/src/eric7/Preferences/__init__.py Mon Nov 13 11:53:55 2023 +0100 +++ b/src/eric7/Preferences/__init__.py Mon Nov 13 17:38:06 2023 +0100 @@ -503,7 +503,8 @@ # defaults for the editor settings editorDefaults = { - "AutosaveInterval": 0, + "AutosaveIntervalSeconds": 0, + "AutosaveOnFocusLost": False, "TabWidth": 4, "IndentWidth": 4, "TabIndentOverride": "{}", # JSON formatted dictionary @@ -2404,7 +2405,7 @@ # no special treatment for str and PyQt6 Enum return Prefs.settings.value("Editor/" + key, Prefs.editorDefaults[key]) elif key in [ - "AutosaveInterval", + "AutosaveIntervalSeconds", "TabWidth", "IndentWidth", "WarnFilesize",