104 |
s= event.GetSelection() |
s= event.GetSelection() |
105 |
if s: |
if s: |
106 |
trigger = self.triggerMap[self.triggerList[s-1]] |
trigger = self.triggerMap[self.triggerList[s-1]] |
107 |
self.dispatchEvent('TriggerSelected', |
wxCallAfter(self.dispatchEvent,'TriggerSelected', |
108 |
object = trigger, |
object = trigger, |
109 |
originator = None) |
originator = None) |
110 |
if trigger.type.upper() != 'NAMED': |
if trigger.type.upper() != 'NAMED': |
111 |
self.dispatchEvent('ObjectSelected', |
wxCallAfter(self.dispatchEvent,'ObjectSelected', |
112 |
object = trigger._parent, |
object = trigger._parent, |
113 |
originator = None) |
originator = None) |
114 |
|
|
120 |
self.editor.InEditMode = 1 |
self.editor.InEditMode = 1 |
121 |
self.editor.SetReadOnly(1) |
self.editor.SetReadOnly(1) |
122 |
self.object = None |
self.object = None |
123 |
|
event.Skip() |
124 |
|
|
125 |
|
|
126 |
def _onSize(self, event): |
def _onSize(self, event): |