E5XML/DebuggerPropertiesWriter.py

changeset 3035
36e9f388958b
parent 3022
57179e4cdadd
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3034:7ce719013078 3035:36e9f388958b
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')))

eric ide

mercurial