746 try: |
746 try: |
747 if self.project.useSystemEol(): |
747 if self.project.useSystemEol(): |
748 newline = None |
748 newline = None |
749 else: |
749 else: |
750 newline = self.project.getEolString() |
750 newline = self.project.getEolString() |
751 f = open(ofn, "w", encoding="utf-8", newline=newline) |
751 with open(ofn, "w", encoding="utf-8", newline=newline) as f: |
752 for line in self.buf.splitlines(): |
752 for line in self.buf.splitlines(): |
753 f.write(line + "\n") |
753 f.write(line + "\n") |
754 f.close() |
|
755 if self.compiledFile not in self.project.pdata["SOURCES"]: |
754 if self.compiledFile not in self.project.pdata["SOURCES"]: |
756 self.project.appendFile(ofn) |
755 self.project.appendFile(ofn) |
757 if not self.noDialog and not ui.notificationsEnabled(): |
756 if not self.noDialog and not ui.notificationsEnabled(): |
758 E5MessageBox.information( |
757 E5MessageBox.information( |
759 self, |
758 self, |