E5XML/HighlightingStylesWriter.py

changeset 3035
36e9f388958b
parent 2992
dbdf27746da5
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3034:7ce719013078 3035:36e9f388958b
40 XMLStreamWriterBase.writeXML(self) 40 XMLStreamWriterBase.writeXML(self)
41 41
42 self.writeDTD( 42 self.writeDTD(
43 '<!DOCTYPE HighlightingStyles SYSTEM' 43 '<!DOCTYPE HighlightingStyles SYSTEM'
44 ' "HighlightingStyles-{0}.dtd">'.format( 44 ' "HighlightingStyles-{0}.dtd">'.format(
45 highlightingStylesFileFormatVersion)) 45 highlightingStylesFileFormatVersion))
46 46
47 # add some generation comments 47 # add some generation comments
48 self.writeComment(" Eric5 highlighting styles ") 48 self.writeComment(" Eric5 highlighting styles ")
49 self.writeComment( 49 self.writeComment(
50 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) 50 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S')))

eric ide

mercurial