equal
deleted
inserted
replaced
191 xmlfile = open(filepath, "w") |
191 xmlfile = open(filepath, "w") |
192 xmlfile.write(etree.tostring( |
192 xmlfile.write(etree.tostring( |
193 self.CodeFile, |
193 self.CodeFile, |
194 pretty_print=True, |
194 pretty_print=True, |
195 xml_declaration=True, |
195 xml_declaration=True, |
196 encoding='utf-8')) |
196 encoding='utf-8').decode()) |
197 xmlfile.close() |
197 xmlfile.close() |
198 |
198 |
199 self.MarkCodeFileAsSaved() |
199 self.MarkCodeFileAsSaved() |
200 return True |
200 return True |
201 |
201 |