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(" Eric6 highlighting styles ") |
48 self.writeComment(" Eric 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'))) |
51 self.writeComment(" Author: {0} ".format(self.email)) |
51 self.writeComment(" Author: {0} ".format(self.email)) |
52 |
52 |
53 # add the main tag |
53 # add the main tag |