equal
deleted
inserted
replaced
39 #------------------------------------------------------------------------------- |
39 #------------------------------------------------------------------------------- |
40 |
40 |
41 class ArrayTypeDialog(wx.Dialog): |
41 class ArrayTypeDialog(wx.Dialog): |
42 |
42 |
43 def __init__(self, parent, datatypes, infos): |
43 def __init__(self, parent, datatypes, infos): |
44 wx.Dialog.__init__(self, parent, |
44 wx.Dialog.__init__(self, parent, title=_('Edit array type properties')) |
45 size=wx.Size(500, 350), title=_('Edit array type properties')) |
|
46 |
45 |
47 main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=3, vgap=10) |
46 main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=3, vgap=10) |
48 main_sizer.AddGrowableCol(0) |
47 main_sizer.AddGrowableCol(0) |
49 main_sizer.AddGrowableRow(1) |
48 main_sizer.AddGrowableRow(1) |
50 |
49 |
86 self.Dimensions.SetStrings(map(lambda x : "..".join(x), infos[2])) |
85 self.Dimensions.SetStrings(map(lambda x : "..".join(x), infos[2])) |
87 elif infos in datatypes: |
86 elif infos in datatypes: |
88 self.BaseType.SetStringSelection(infos) |
87 self.BaseType.SetStringSelection(infos) |
89 |
88 |
90 self.BaseType.SetFocus() |
89 self.BaseType.SetFocus() |
|
90 self.Fit() |
91 |
91 |
92 def GetDimensions(self): |
92 def GetDimensions(self): |
93 dimensions_list = [] |
93 dimensions_list = [] |
94 for dimensions in self.Dimensions.GetStrings(): |
94 for dimensions in self.Dimensions.GetStrings(): |
95 result = DIMENSION_MODEL.match(dimensions) |
95 result = DIMENSION_MODEL.match(dimensions) |