40 self.writeDTD('<!DOCTYPE Shortcuts SYSTEM "Shortcuts-{0}.dtd">'.format( |
40 self.writeDTD('<!DOCTYPE Shortcuts SYSTEM "Shortcuts-{0}.dtd">'.format( |
41 shortcutsFileFormatVersion)) |
41 shortcutsFileFormatVersion)) |
42 |
42 |
43 # add some generation comments |
43 # add some generation comments |
44 self.writeComment(" Eric5 keyboard shortcuts ") |
44 self.writeComment(" Eric5 keyboard shortcuts ") |
45 self.writeComment(" Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
45 self.writeComment( |
|
46 " Saved: {0}".format(time.strftime('%Y-%m-%d, %H:%M:%S'))) |
46 self.writeComment(" Author: {0} ".format(self.email)) |
47 self.writeComment(" Author: {0} ".format(self.email)) |
47 |
48 |
48 # add the main tag |
49 # add the main tag |
49 self.writeStartElement("Shortcuts") |
50 self.writeStartElement("Shortcuts") |
50 self.writeAttribute("version", shortcutsFileFormatVersion) |
51 self.writeAttribute("version", shortcutsFileFormatVersion) |
97 # shortcuts are only exported, if their objectName is set |
98 # shortcuts are only exported, if their objectName is set |
98 self.writeStartElement("Shortcut") |
99 self.writeStartElement("Shortcut") |
99 self.writeAttribute("category", category) |
100 self.writeAttribute("category", category) |
100 self.writeTextElement("Name", act.objectName()) |
101 self.writeTextElement("Name", act.objectName()) |
101 self.writeTextElement("Accel", act.shortcut().toString()) |
102 self.writeTextElement("Accel", act.shortcut().toString()) |
102 self.writeTextElement("AltAccel", act.alternateShortcut().toString()) |
103 self.writeTextElement( |
|
104 "AltAccel", act.alternateShortcut().toString()) |
103 self.writeEndElement() |
105 self.writeEndElement() |