E5XML/UserProjectWriter.py

changeset 3035
36e9f388958b
parent 2992
dbdf27746da5
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3034:7ce719013078 3035:36e9f388958b
42 """ 42 """
43 XMLStreamWriterBase.writeXML(self) 43 XMLStreamWriterBase.writeXML(self)
44 44
45 self.writeDTD( 45 self.writeDTD(
46 '<!DOCTYPE UserProject SYSTEM "UserProject-{0}.dtd">'.format( 46 '<!DOCTYPE UserProject SYSTEM "UserProject-{0}.dtd">'.format(
47 userProjectFileFormatVersion)) 47 userProjectFileFormatVersion))
48 48
49 # add some generation comments 49 # add some generation comments
50 self.writeComment( 50 self.writeComment(
51 " eric5 user project file for project {0} ".format(self.name)) 51 " eric5 user project file for project {0} ".format(self.name))
52 if Preferences.getProject("XMLTimestamp"): 52 if Preferences.getProject("XMLTimestamp"):

eric ide

mercurial