42 XMLStreamWriterBase.writeXML(self) |
42 XMLStreamWriterBase.writeXML(self) |
43 |
43 |
44 self.writeDTD( |
44 self.writeDTD( |
45 '<!DOCTYPE DebuggerProperties SYSTEM' |
45 '<!DOCTYPE DebuggerProperties SYSTEM' |
46 ' "DebuggerProperties-{0}.dtd">'.format( |
46 ' "DebuggerProperties-{0}.dtd">'.format( |
47 debuggerPropertiesFileFormatVersion)) |
47 debuggerPropertiesFileFormatVersion)) |
48 |
48 |
49 # add some generation comments |
49 # add some generation comments |
50 self.writeComment( |
50 self.writeComment( |
51 " eric5 debugger properties file for project {0} ".format( |
51 " eric5 debugger properties file for project {0} ".format( |
52 self.name)) |
52 self.name)) |
53 self.writeComment( |
53 self.writeComment( |
54 " This file was generated automatically, do not edit. ") |
54 " This file was generated automatically, do not edit. ") |
55 if Preferences.getProject("XMLTimestamp"): |
55 if Preferences.getProject("XMLTimestamp"): |
56 self.writeComment( |
56 self.writeComment( |
57 " Saved: {0} ".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
57 " Saved: {0} ".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |