52 main_sizer.AddGrowableCol(0) |
52 main_sizer.AddGrowableCol(0) |
53 main_sizer.AddGrowableRow(1) |
53 main_sizer.AddGrowableRow(1) |
54 |
54 |
55 pattern_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=2, vgap=5) |
55 pattern_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=2, vgap=5) |
56 pattern_sizer.AddGrowableCol(0) |
56 pattern_sizer.AddGrowableCol(0) |
57 main_sizer.AddSizer(pattern_sizer, border=20, |
57 main_sizer.Add(pattern_sizer, border=20, |
58 flag=wx.GROW | wx.TOP | wx.LEFT | wx.RIGHT) |
58 flag=wx.GROW | wx.TOP | wx.LEFT | wx.RIGHT) |
59 |
59 |
60 pattern_label = wx.StaticText(self, label=_('Pattern to search:')) |
60 pattern_label = wx.StaticText(self, label=_('Pattern to search:')) |
61 pattern_sizer.AddWindow(pattern_label, flag=wx.ALIGN_BOTTOM) |
61 pattern_sizer.Add(pattern_label, flag=wx.ALIGN_BOTTOM) |
62 |
62 |
63 self.CaseSensitive = wx.CheckBox(self, label=_('Case sensitive')) |
63 self.CaseSensitive = wx.CheckBox(self, label=_('Case sensitive')) |
64 pattern_sizer.AddWindow(self.CaseSensitive, flag=wx.GROW) |
64 pattern_sizer.Add(self.CaseSensitive, flag=wx.GROW) |
65 |
65 |
66 self.Pattern = wx.TextCtrl(self, size=wx.Size(250, -1)) |
66 self.Pattern = wx.TextCtrl(self, size=wx.Size(250, -1)) |
67 self.Bind(wx.EVT_TEXT, self.FindPatternChanged, self.Pattern) |
67 self.Bind(wx.EVT_TEXT, self.FindPatternChanged, self.Pattern) |
68 pattern_sizer.AddWindow(self.Pattern, flag=wx.GROW) |
68 pattern_sizer.Add(self.Pattern, flag=wx.GROW) |
69 self.Bind(wx.EVT_CHAR_HOOK, self.OnEscapeKey) |
69 self.Bind(wx.EVT_CHAR_HOOK, self.OnEscapeKey) |
70 self.RegularExpression = wx.CheckBox(self, label=_('Regular expression')) |
70 self.RegularExpression = wx.CheckBox(self, label=_('Regular expression')) |
71 pattern_sizer.AddWindow(self.RegularExpression, flag=wx.GROW) |
71 pattern_sizer.Add(self.RegularExpression, flag=wx.GROW) |
72 |
72 |
73 scope_staticbox = wx.StaticBox(self, label=_('Scope')) |
73 scope_staticbox = wx.StaticBox(self, label=_('Scope')) |
74 scope_sizer = wx.StaticBoxSizer(scope_staticbox, wx.HORIZONTAL) |
74 scope_sizer = wx.StaticBoxSizer(scope_staticbox, wx.HORIZONTAL) |
75 main_sizer.AddSizer(scope_sizer, border=20, |
75 main_sizer.Add(scope_sizer, border=20, |
76 flag=wx.GROW | wx.LEFT | wx.RIGHT) |
76 flag=wx.GROW | wx.LEFT | wx.RIGHT) |
77 |
77 |
78 scope_selection_sizer = wx.BoxSizer(wx.VERTICAL) |
78 scope_selection_sizer = wx.BoxSizer(wx.VERTICAL) |
79 scope_sizer.AddSizer(scope_selection_sizer, 1, border=5, |
79 scope_sizer.Add(scope_selection_sizer, 1, border=5, |
80 flag=wx.GROW | wx.TOP | wx.LEFT | wx.BOTTOM) |
80 flag=wx.GROW | wx.TOP | wx.LEFT | wx.BOTTOM) |
81 |
81 |
82 self.WholeProject = wx.RadioButton(self, label=_('Whole Project'), style=wx.RB_GROUP) |
82 self.WholeProject = wx.RadioButton(self, label=_('Whole Project'), style=wx.RB_GROUP) |
83 self.WholeProject.SetValue(True) |
83 self.WholeProject.SetValue(True) |
84 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.WholeProject) |
84 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.WholeProject) |
85 scope_selection_sizer.AddWindow(self.WholeProject, border=5, |
85 scope_selection_sizer.Add(self.WholeProject, border=5, |
86 flag=wx.GROW | wx.BOTTOM) |
86 flag=wx.GROW | wx.BOTTOM) |
87 |
87 |
88 self.OnlyElements = wx.RadioButton(self, label=_('Only Elements')) |
88 self.OnlyElements = wx.RadioButton(self, label=_('Only Elements')) |
89 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.OnlyElements) |
89 self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.OnlyElements) |
90 self.OnlyElements.SetValue(False) |
90 self.OnlyElements.SetValue(False) |
91 scope_selection_sizer.AddWindow(self.OnlyElements, flag=wx.GROW) |
91 scope_selection_sizer.Add(self.OnlyElements, flag=wx.GROW) |
92 |
92 |
93 self.ElementsList = wx.CheckListBox(self) |
93 self.ElementsList = wx.CheckListBox(self) |
94 self.ElementsList.Enable(False) |
94 self.ElementsList.Enable(False) |
95 scope_sizer.AddWindow(self.ElementsList, 1, border=5, |
95 scope_sizer.Add(self.ElementsList, 1, border=5, |
96 flag=wx.GROW | wx.TOP | wx.RIGHT | wx.BOTTOM) |
96 flag=wx.GROW | wx.TOP | wx.RIGHT | wx.BOTTOM) |
97 |
97 |
98 buttons_sizer = wx.BoxSizer(wx.HORIZONTAL) |
98 buttons_sizer = wx.BoxSizer(wx.HORIZONTAL) |
99 main_sizer.AddSizer(buttons_sizer, border=20, |
99 main_sizer.Add(buttons_sizer, border=20, |
100 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.ALIGN_RIGHT) |
100 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.ALIGN_RIGHT) |
101 |
101 |
102 self.FindButton = wx.Button(self, label=_("Find")) |
102 self.FindButton = wx.Button(self, label=_("Find")) |
103 self.FindButton.SetDefault() |
103 self.FindButton.SetDefault() |
104 self.Bind(wx.EVT_BUTTON, self.OnFindButton, self.FindButton) |
104 self.Bind(wx.EVT_BUTTON, self.OnFindButton, self.FindButton) |
105 buttons_sizer.AddWindow(self.FindButton, border=5, flag=wx.RIGHT) |
105 buttons_sizer.Add(self.FindButton, border=5, flag=wx.RIGHT) |
106 |
106 |
107 self.CloseButton = wx.Button(self, label=_("Close")) |
107 self.CloseButton = wx.Button(self, label=_("Close")) |
108 self.Bind(wx.EVT_BUTTON, self.OnCloseButton, self.CloseButton) |
108 self.Bind(wx.EVT_BUTTON, self.OnCloseButton, self.CloseButton) |
109 buttons_sizer.AddWindow(self.CloseButton) |
109 buttons_sizer.Add(self.CloseButton) |
110 |
110 |
111 self.SetSizer(main_sizer) |
111 self.SetSizer(main_sizer) |
112 |
112 |
113 for _name, label in GetElementsChoices(): |
113 for _name, label in GetElementsChoices(): |
114 self.ElementsList.Append(_(label)) |
114 self.ElementsList.Append(_(label)) |