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