21 |
|
|
22 |
def selected_shape(self, layer, shape): |
def selected_shape(self, layer, shape): |
23 |
if layer is not None: |
if layer is not None: |
24 |
table = layer.table |
table = layer.ShapeStore().Table() |
25 |
else: |
else: |
26 |
table = None |
table = None |
27 |
self.fill_list(table, shape) |
self.fill_list(table, shape) |
30 |
|
|
31 |
def selected_shape(self, layer, shape): |
def selected_shape(self, layer, shape): |
32 |
if layer is not None: |
if layer is not None: |
33 |
table = layer.table |
table = layer.ShapeStore().Table() |
34 |
else: |
else: |
35 |
table = None |
table = None |
36 |
self.SetTableRecord(table, shape) |
self.SetTableRecord(table, shape) |
58 |
top_box.Fit(self) |
top_box.Fit(self) |
59 |
top_box.SetSizeHints(self) |
top_box.SetSizeHints(self) |
60 |
|
|
61 |
|
# Make sure to reflect the current selection. |
62 |
|
self.selected_shape(parent.SelectedLayer(), parent.SelectedShapes()) |
63 |
|
|
64 |
def OnClose(self, event): |
def OnClose(self, event): |
65 |
self.parent.Unsubscribe(SHAPES_SELECTED, self.selected_shape) |
self.parent.Unsubscribe(SHAPES_SELECTED, self.selected_shape) |
66 |
NonModalDialog.OnClose(self, event) |
NonModalDialog.OnClose(self, event) |