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'))) |