41 |
41 |
42 self.writeDTD('<!DOCTYPE Shortcuts SYSTEM "Shortcuts-{0}.dtd">'.format( |
42 self.writeDTD('<!DOCTYPE Shortcuts SYSTEM "Shortcuts-{0}.dtd">'.format( |
43 shortcutsFileFormatVersion)) |
43 shortcutsFileFormatVersion)) |
44 |
44 |
45 # add some generation comments |
45 # add some generation comments |
46 self.writeComment(" Eric6 keyboard shortcuts ") |
46 self.writeComment(" eric keyboard shortcuts ") |
47 self.writeComment( |
47 self.writeComment( |
48 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
48 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
49 self.writeComment(" Author: {0} ".format(self.email)) |
49 self.writeComment(" Author: {0} ".format(self.email)) |
50 |
50 |
51 # add the main tag |
51 # add the main tag |