src/eric7/Preferences/ThemeManager.py

branch
eric7
changeset 10459
5c5ed40d533d
parent 10439
21c28b0f9e41
child 10926
9ef616cd220d
equal deleted inserted replaced
10458:2074b8393649 10459:5c5ed40d533d
197 "colors": colorsDict, 197 "colors": colorsDict,
198 "stylesheet": stylesheetDict, 198 "stylesheet": stylesheetDict,
199 } 199 }
200 200
201 try: 201 try:
202 jsonString = json.dumps(themeDict, indent=2) 202 jsonString = json.dumps(themeDict, indent=2) + "\n"
203 with open(filename, "w") as f: 203 with open(filename, "w") as f:
204 f.write(jsonString) 204 f.write(jsonString)
205 except (OSError, TypeError) as err: 205 except (OSError, TypeError) as err:
206 EricMessageBox.critical( 206 EricMessageBox.critical(
207 None, 207 None,

eric ide

mercurial