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