equal
deleted
inserted
replaced
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, |
45 size=wx.Size(500, 300), title=_('Edit array type properties')) |
45 size=wx.Size(500, 350), title=_('Edit array type properties')) |
46 |
46 |
47 main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=3, vgap=10) |
47 main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=3, vgap=10) |
48 main_sizer.AddGrowableCol(0) |
48 main_sizer.AddGrowableCol(0) |
49 main_sizer.AddGrowableRow(1) |
49 main_sizer.AddGrowableRow(1) |
50 |
50 |