E5XML/HighlightingStylesWriter.py

changeset 3670
f0cb7579c0b4
parent 3178
f25fc1364c88
child 4021
195a471c327b
equal deleted inserted replaced
3669:ac84ac3c0f05 3670:f0cb7579c0b4
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

eric ide

mercurial