83 |
83 |
84 try: |
84 try: |
85 jsonString = json.dumps(stylesDict, indent=2) |
85 jsonString = json.dumps(stylesDict, indent=2) |
86 with open(filename, "w") as f: |
86 with open(filename, "w") as f: |
87 f.write(jsonString) |
87 f.write(jsonString) |
88 except (TypeError, OSError) as err: |
88 except (OSError, TypeError) as err: |
89 with EricOverridenCursor(): |
89 with EricOverridenCursor(): |
90 EricMessageBox.critical( |
90 EricMessageBox.critical( |
91 None, |
91 None, |
92 self.tr("Export Highlighting Styles"), |
92 self.tr("Export Highlighting Styles"), |
93 self.tr( |
93 self.tr( |