80 } |
80 } |
81 ) |
81 ) |
82 stylesDict["lexers"].append(lexerDict) |
82 stylesDict["lexers"].append(lexerDict) |
83 |
83 |
84 try: |
84 try: |
85 jsonString = json.dumps(stylesDict, indent=2) |
85 jsonString = json.dumps(stylesDict, indent=2) + "\n" |
86 with open(filename, "w") as f: |
86 with open(filename, "w") as f: |
87 f.write(jsonString) |
87 f.write(jsonString) |
88 except (OSError, TypeError) as err: |
88 except (OSError, TypeError) as err: |
89 with EricOverridenCursor(): |
89 with EricOverridenCursor(): |
90 EricMessageBox.critical( |
90 EricMessageBox.critical( |