51 main_sizer.AddGrowableRow(1) |
51 main_sizer.AddGrowableRow(1) |
52 |
52 |
53 pattern_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=2, vgap=5) |
53 pattern_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=2, vgap=5) |
54 pattern_sizer.AddGrowableCol(0) |
54 pattern_sizer.AddGrowableCol(0) |
55 main_sizer.AddSizer(pattern_sizer, border=20, |
55 main_sizer.AddSizer(pattern_sizer, border=20, |
56 flag=wx.GROW|wx.TOP|wx.LEFT|wx.RIGHT) |
56 flag=wx.GROW | wx.TOP | wx.LEFT | wx.RIGHT) |
57 |
57 |
58 pattern_label = wx.StaticText(self, label=_('Pattern to search:')) |
58 pattern_label = wx.StaticText(self, label=_('Pattern to search:')) |
59 pattern_sizer.AddWindow(pattern_label, flag=wx.ALIGN_BOTTOM) |
59 pattern_sizer.AddWindow(pattern_label, flag=wx.ALIGN_BOTTOM) |
60 |
60 |
61 self.CaseSensitive = wx.CheckBox(self, label=_('Case sensitive')) |
61 self.CaseSensitive = wx.CheckBox(self, label=_('Case sensitive')) |
69 pattern_sizer.AddWindow(self.RegularExpression, flag=wx.GROW) |
69 pattern_sizer.AddWindow(self.RegularExpression, flag=wx.GROW) |
70 |
70 |
71 scope_staticbox = wx.StaticBox(self, label=_('Scope')) |
71 scope_staticbox = wx.StaticBox(self, label=_('Scope')) |
72 scope_sizer = wx.StaticBoxSizer(scope_staticbox, wx.HORIZONTAL) |
72 scope_sizer = wx.StaticBoxSizer(scope_staticbox, wx.HORIZONTAL) |
73 main_sizer.AddSizer(scope_sizer, border=20, |
73 main_sizer.AddSizer(scope_sizer, border=20, |
74 flag=wx.GROW|wx.LEFT|wx.RIGHT) |
74 flag=wx.GROW | wx.LEFT | wx.RIGHT) |
75 |
75 |
76 scope_selection_sizer = wx.BoxSizer(wx.VERTICAL) |
76 scope_selection_sizer = wx.BoxSizer(wx.VERTICAL) |
77 scope_sizer.AddSizer(scope_selection_sizer, 1, border=5, |
77 scope_sizer.AddSizer(scope_selection_sizer, 1, border=5, |
78 flag=wx.GROW|wx.TOP|wx.LEFT|wx.BOTTOM) |
78 flag=wx.GROW | wx.TOP | wx.LEFT | wx.BOTTOM) |
79 |
79 |
80 self.WholeProject = wx.RadioButton(self, label=_('Whole Project'), style=wx.RB_GROUP) |
80 self.WholeProject = wx.RadioButton(self, label=_('Whole Project'), style=wx.RB_GROUP) |
81 self.WholeProject.SetValue(True) |
81 self.WholeProject.SetValue(True) |
82 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.WholeProject) |
82 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.WholeProject) |
83 scope_selection_sizer.AddWindow(self.WholeProject, border=5, |
83 scope_selection_sizer.AddWindow(self.WholeProject, border=5, |
84 flag=wx.GROW|wx.BOTTOM) |
84 flag=wx.GROW | wx.BOTTOM) |
85 |
85 |
86 self.OnlyElements = wx.RadioButton(self, label=_('Only Elements')) |
86 self.OnlyElements = wx.RadioButton(self, label=_('Only Elements')) |
87 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.OnlyElements) |
87 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.OnlyElements) |
88 self.OnlyElements.SetValue(False) |
88 self.OnlyElements.SetValue(False) |
89 scope_selection_sizer.AddWindow(self.OnlyElements, flag=wx.GROW) |
89 scope_selection_sizer.AddWindow(self.OnlyElements, flag=wx.GROW) |
90 |
90 |
91 self.ElementsList = wx.CheckListBox(self) |
91 self.ElementsList = wx.CheckListBox(self) |
92 self.ElementsList.Enable(False) |
92 self.ElementsList.Enable(False) |
93 scope_sizer.AddWindow(self.ElementsList, 1, border=5, |
93 scope_sizer.AddWindow(self.ElementsList, 1, border=5, |
94 flag=wx.GROW|wx.TOP|wx.RIGHT|wx.BOTTOM) |
94 flag=wx.GROW | wx.TOP | wx.RIGHT | wx.BOTTOM) |
95 |
95 |
96 buttons_sizer = wx.BoxSizer(wx.HORIZONTAL) |
96 buttons_sizer = wx.BoxSizer(wx.HORIZONTAL) |
97 main_sizer.AddSizer(buttons_sizer, border=20, |
97 main_sizer.AddSizer(buttons_sizer, border=20, |
98 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.ALIGN_RIGHT) |
98 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.ALIGN_RIGHT) |
99 |
99 |