equal
deleted
inserted
replaced
64 params_sizer = wx.BoxSizer(wx.HORIZONTAL) |
64 params_sizer = wx.BoxSizer(wx.HORIZONTAL) |
65 controls_sizer.AddSizer(params_sizer, border=5, flag=wx.GROW | wx.BOTTOM) |
65 controls_sizer.AddSizer(params_sizer, border=5, flag=wx.GROW | wx.BOTTOM) |
66 |
66 |
67 direction_staticbox = wx.StaticBox(panel, label=_("Direction")) |
67 direction_staticbox = wx.StaticBox(panel, label=_("Direction")) |
68 direction_staticboxsizer = wx.StaticBoxSizer( |
68 direction_staticboxsizer = wx.StaticBoxSizer( |
69 direction_staticbox, wx.VERTICAL) |
69 direction_staticbox, wx.VERTICAL) |
70 params_sizer.AddSizer(direction_staticboxsizer, 1, border=5, |
70 params_sizer.AddSizer(direction_staticboxsizer, 1, border=5, |
71 flag=wx.GROW | wx.RIGHT) |
71 flag=wx.GROW | wx.RIGHT) |
72 |
72 |
73 self.Forward = wx.RadioButton(panel, label=_("Forward"), |
73 self.Forward = wx.RadioButton(panel, label=_("Forward"), |
74 style=wx.RB_GROUP) |
74 style=wx.RB_GROUP) |
79 direction_staticboxsizer.AddWindow(self.Backward, border=5, |
79 direction_staticboxsizer.AddWindow(self.Backward, border=5, |
80 flag=wx.ALL | wx.GROW) |
80 flag=wx.ALL | wx.GROW) |
81 |
81 |
82 options_staticbox = wx.StaticBox(panel, label=_("Options")) |
82 options_staticbox = wx.StaticBox(panel, label=_("Options")) |
83 options_staticboxsizer = wx.StaticBoxSizer( |
83 options_staticboxsizer = wx.StaticBoxSizer( |
84 options_staticbox, wx.VERTICAL) |
84 options_staticbox, wx.VERTICAL) |
85 params_sizer.AddSizer(options_staticboxsizer, 1, flag=wx.GROW) |
85 params_sizer.AddSizer(options_staticboxsizer, 1, flag=wx.GROW) |
86 |
86 |
87 self.CaseSensitive = wx.CheckBox(panel, label=_("Case sensitive")) |
87 self.CaseSensitive = wx.CheckBox(panel, label=_("Case sensitive")) |
88 self.CaseSensitive.SetValue(True) |
88 self.CaseSensitive.SetValue(True) |
89 options_staticboxsizer.AddWindow(self.CaseSensitive, border=5, |
89 options_staticboxsizer.AddWindow(self.CaseSensitive, border=5, |