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(" Eric5 keyboard shortcuts ") |
46 self.writeComment(" Eric5 keyboard shortcuts ") |
47 self.writeComment(" Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
47 self.writeComment( |
|
48 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
48 self.writeComment(" Author: {0} ".format(self.email)) |
49 self.writeComment(" Author: {0} ".format(self.email)) |
49 |
50 |
50 # add the main tag |
51 # add the main tag |
51 self.writeStartElement("Shortcuts") |
52 self.writeStartElement("Shortcuts") |
52 self.writeAttribute("version", shortcutsFileFormatVersion) |
53 self.writeAttribute("version", shortcutsFileFormatVersion) |
99 # shortcuts are only exported, if their objectName is set |
100 # shortcuts are only exported, if their objectName is set |
100 self.writeStartElement("Shortcut") |
101 self.writeStartElement("Shortcut") |
101 self.writeAttribute("category", category) |
102 self.writeAttribute("category", category) |
102 self.writeTextElement("Name", act.objectName()) |
103 self.writeTextElement("Name", act.objectName()) |
103 self.writeTextElement("Accel", act.shortcut().toString()) |
104 self.writeTextElement("Accel", act.shortcut().toString()) |
104 self.writeTextElement("AltAccel", act.alternateShortcut().toString()) |
105 self.writeTextElement( |
|
106 "AltAccel", act.alternateShortcut().toString()) |
105 self.writeEndElement() |
107 self.writeEndElement() |