diff -r 61a1757626ac -r 3750abc45d5e src/eric7/Preferences/HighlightingStylesFile.py --- a/src/eric7/Preferences/HighlightingStylesFile.py Mon May 22 08:46:00 2023 +0200 +++ b/src/eric7/Preferences/HighlightingStylesFile.py Mon May 22 09:07:37 2023 +0200 @@ -85,7 +85,7 @@ jsonString = json.dumps(stylesDict, indent=2) with open(filename, "w") as f: f.write(jsonString) - except (TypeError, OSError) as err: + except (OSError, TypeError) as err: with EricOverridenCursor(): EricMessageBox.critical( None,