98 |
map.Subscribe(channel, self.forward, channel) |
map.Subscribe(channel, self.forward, channel) |
99 |
self.changed(MAPS_CHANGED) |
self.changed(MAPS_CHANGED) |
100 |
|
|
101 |
|
def RemoveMap(self, map): |
102 |
|
for channel in self.forwarded_channels: |
103 |
|
map.Unsubscribe(channel, self.forward, channel) |
104 |
|
self.maps.remove(map) |
105 |
|
self.changed(MAPS_CHANGED) |
106 |
|
map.Destroy() |
107 |
|
|
108 |
def Extensions(self): |
def Extensions(self): |
109 |
return self.extensions |
return self.extensions |
110 |
|
|
122 |
map.Destroy() |
map.Destroy() |
123 |
self.maps = [] |
self.maps = [] |
124 |
self.tables = [] |
self.tables = [] |
125 |
Publisher.Destroy(self) |
Modifiable.Destroy(self) |
126 |
|
|
127 |
def forward(self, *args): |
def forward(self, *args): |
128 |
"""Reissue events. |
"""Reissue events. |