220 |
|
|
221 |
self.addTool('eventEditor', _('Trigger Mappings'), EventEditor, |
self.addTool('eventEditor', _('Trigger Mappings'), EventEditor, |
222 |
hotkey='F7', menuGroup=321) |
hotkey='F7', menuGroup=321) |
223 |
self.addTool('triggerEditor', _('Code Editor'), TriggerEditor, |
self.addTool('triggerEditor', _('Trigger Editor'), TriggerEditor, |
224 |
hotkey='F12', menuGroup=321) |
hotkey='F12', menuGroup=321) |
225 |
|
|
226 |
def createWizards(self): |
def createWizards(self): |
263 |
|
|
264 |
def preSave(self): |
def preSave(self): |
265 |
|
|
266 |
|
|
267 |
|
# Get rid of form.name = '__main__' |
268 |
|
try: |
269 |
|
if self.rootObject.name == '__main__': |
270 |
|
del self.rootObject.name |
271 |
|
except AttributeError: |
272 |
|
pass |
273 |
|
|
274 |
# Do a little rearranging of objects |
# Do a little rearranging of objects |
275 |
|
|
276 |
options = [] |
options = [] |