20 |
|
|
21 |
def selected_shape(self, layer, shape): |
def selected_shape(self, layer, shape): |
22 |
if layer is not None: |
if layer is not None: |
23 |
table = layer.shapetable |
table = layer.table |
24 |
else: |
else: |
25 |
table = None |
table = None |
26 |
self.fill_list(table, shape) |
self.fill_list(table, shape) |
29 |
|
|
30 |
def selected_shape(self, layer, shape): |
def selected_shape(self, layer, shape): |
31 |
if layer is not None: |
if layer is not None: |
32 |
table = layer.shapetable |
table = layer.table |
33 |
else: |
else: |
34 |
table = None |
table = None |
35 |
self.SetTableRecord(table, shape) |
self.SetTableRecord(table, shape) |
41 |
parent.Subscribe(SHAPES_SELECTED, self.selected_shape) |
parent.Subscribe(SHAPES_SELECTED, self.selected_shape) |
42 |
|
|
43 |
panel = wxPanel(self, -1, style = wxWANTS_CHARS) |
panel = wxPanel(self, -1, style = wxWANTS_CHARS) |
44 |
#self.list = IdentifyListCtrl(panel, -1) |
self.list = IdentifyListCtrl(panel, -1) |
45 |
self.list = IdentifyGridCtrl(panel) |
#self.list = IdentifyGridCtrl(panel) |
46 |
|
|
47 |
sizer = wxBoxSizer(wxVERTICAL) |
sizer = wxBoxSizer(wxVERTICAL) |
48 |
sizer.Add(self.list, 1, wx.wxEXPAND| wx.wxALL, 0) |
sizer.Add(self.list, 1, wx.wxEXPAND| wx.wxALL, 0) |
49 |
|
|
50 |
self.SetSize(wxSize(300,200)) |
self.SetSize(wxSize(300,200)) |
51 |
panel.SetAutoLayout(true) |
panel.SetAutoLayout(True) |
52 |
panel.SetSizer(sizer) |
panel.SetSizer(sizer) |
53 |
sizer.Fit(panel) |
sizer.Fit(panel) |
54 |
|
|