--- a/src/eric7/Preferences/ThemeManager.py Sun Dec 31 18:01:05 2023 +0100 +++ b/src/eric7/Preferences/ThemeManager.py Sun Dec 31 20:27:52 2023 +0100 @@ -199,7 +199,7 @@ } try: - jsonString = json.dumps(themeDict, indent=2) + jsonString = json.dumps(themeDict, indent=2) + "\n" with open(filename, "w") as f: f.write(jsonString) except (OSError, TypeError) as err: