45 '<!DOCTYPE HighlightingStyles SYSTEM' |
45 '<!DOCTYPE HighlightingStyles SYSTEM' |
46 ' "HighlightingStyles-{0}.dtd">'.format( |
46 ' "HighlightingStyles-{0}.dtd">'.format( |
47 highlightingStylesFileFormatVersion)) |
47 highlightingStylesFileFormatVersion)) |
48 |
48 |
49 # add some generation comments |
49 # add some generation comments |
50 self.writeComment(" Eric5 highlighting styles ") |
50 self.writeComment(" Eric6 highlighting styles ") |
51 self.writeComment( |
51 self.writeComment( |
52 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
52 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
53 self.writeComment(" Author: {0} ".format(self.email)) |
53 self.writeComment(" Author: {0} ".format(self.email)) |
54 |
54 |
55 # add the main tag |
55 # add the main tag |