equal
deleted
inserted
replaced
87 flag=wx.GROW|wx.LEFT) |
87 flag=wx.GROW|wx.LEFT) |
88 |
88 |
89 name_label = wx.StaticText(self, label=_('Name:')) |
89 name_label = wx.StaticText(self, label=_('Name:')) |
90 right_gridsizer.AddWindow(name_label, flag=wx.GROW) |
90 right_gridsizer.AddWindow(name_label, flag=wx.GROW) |
91 |
91 |
92 self.VariableName = wx.ListBox(self, style=wx.LB_SINGLE|wx.LB_SORT) |
92 self.VariableName = wx.ListBox(self, size=wx.Size(0, 0), |
|
93 style=wx.LB_SINGLE|wx.LB_SORT) |
93 self.Bind(wx.EVT_LISTBOX, self.OnNameChanged, self.VariableName) |
94 self.Bind(wx.EVT_LISTBOX, self.OnNameChanged, self.VariableName) |
94 right_gridsizer.AddWindow(self.VariableName, flag=wx.GROW) |
95 right_gridsizer.AddWindow(self.VariableName, flag=wx.GROW) |
95 |
96 |
96 preview_label = wx.StaticText(self, label=_('Preview:')) |
97 preview_label = wx.StaticText(self, label=_('Preview:')) |
97 main_sizer.AddWindow(preview_label, border=20, |
98 main_sizer.AddWindow(preview_label, border=20, |