32 def _init_icon(self, parent): |
32 def _init_icon(self, parent): |
33 if parent and parent.icon: |
33 if parent and parent.icon: |
34 self.SetIcon(parent.icon) |
34 self.SetIcon(parent.icon) |
35 |
35 |
36 def __init__(self, parent): |
36 def __init__(self, parent): |
37 wx.Dialog.__init__(self, parent, title=_("Find"), |
37 wx.Dialog.__init__( |
38 style=wx.CAPTION | wx.CLOSE_BOX | wx.CLIP_CHILDREN | wx.RESIZE_BORDER) |
38 self, parent, title=_("Find"), |
|
39 style=wx.CAPTION | wx.CLOSE_BOX | wx.CLIP_CHILDREN | wx.RESIZE_BORDER) |
39 |
40 |
40 self._init_icon(parent) |
41 self._init_icon(parent) |
41 panel = wx.Panel(self, style=wx.TAB_TRAVERSAL) |
42 panel = wx.Panel(self, style=wx.TAB_TRAVERSAL) |
42 |
43 |
43 main_sizer = wx.FlexGridSizer(cols=1, hgap=5, rows=2, vgap=5) |
44 main_sizer = wx.FlexGridSizer(cols=1, hgap=5, rows=2, vgap=5) |
44 main_sizer.AddGrowableCol(0) |
45 main_sizer.AddGrowableCol(0) |
45 main_sizer.AddGrowableRow(0) |
46 main_sizer.AddGrowableRow(0) |
46 |
47 |
47 controls_sizer = wx.BoxSizer(wx.VERTICAL) |
48 controls_sizer = wx.BoxSizer(wx.VERTICAL) |
48 main_sizer.AddSizer(controls_sizer, border=20, |
49 main_sizer.AddSizer(controls_sizer, border=20, |
49 flag=wx.GROW | wx.TOP | wx.LEFT | wx.RIGHT) |
50 flag=wx.GROW | wx.TOP | wx.LEFT | wx.RIGHT) |
50 |
51 |
51 patterns_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=1, vgap=5) |
52 patterns_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=1, vgap=5) |
52 patterns_sizer.AddGrowableCol(1) |
53 patterns_sizer.AddGrowableCol(1) |
53 controls_sizer.AddSizer(patterns_sizer, border=5, flag=wx.GROW | wx.BOTTOM) |
54 controls_sizer.AddSizer(patterns_sizer, border=5, flag=wx.GROW | wx.BOTTOM) |
54 |
55 |
65 |
66 |
66 direction_staticbox = wx.StaticBox(panel, label=_("Direction")) |
67 direction_staticbox = wx.StaticBox(panel, label=_("Direction")) |
67 direction_staticboxsizer = wx.StaticBoxSizer( |
68 direction_staticboxsizer = wx.StaticBoxSizer( |
68 direction_staticbox, wx.VERTICAL) |
69 direction_staticbox, wx.VERTICAL) |
69 params_sizer.AddSizer(direction_staticboxsizer, 1, border=5, |
70 params_sizer.AddSizer(direction_staticboxsizer, 1, border=5, |
70 flag=wx.GROW | wx.RIGHT) |
71 flag=wx.GROW | wx.RIGHT) |
71 |
72 |
72 self.Forward = wx.RadioButton(panel, label=_("Forward"), |
73 self.Forward = wx.RadioButton(panel, label=_("Forward"), |
73 style=wx.RB_GROUP) |
74 style=wx.RB_GROUP) |
74 direction_staticboxsizer.AddWindow(self.Forward, border=5, |
75 direction_staticboxsizer.AddWindow(self.Forward, border=5, |
75 flag=wx.ALL | wx.GROW) |
76 flag=wx.ALL | wx.GROW) |
76 |
77 |
77 self.Backward = wx.RadioButton(panel, label=_("Backward")) |
78 self.Backward = wx.RadioButton(panel, label=_("Backward")) |
78 direction_staticboxsizer.AddWindow(self.Backward, border=5, |
79 direction_staticboxsizer.AddWindow(self.Backward, border=5, |
79 flag=wx.ALL | wx.GROW) |
80 flag=wx.ALL | wx.GROW) |
80 |
81 |
81 options_staticbox = wx.StaticBox(panel, label=_("Options")) |
82 options_staticbox = wx.StaticBox(panel, label=_("Options")) |
82 options_staticboxsizer = wx.StaticBoxSizer( |
83 options_staticboxsizer = wx.StaticBoxSizer( |
83 options_staticbox, wx.VERTICAL) |
84 options_staticbox, wx.VERTICAL) |
84 params_sizer.AddSizer(options_staticboxsizer, 1, flag=wx.GROW) |
85 params_sizer.AddSizer(options_staticboxsizer, 1, flag=wx.GROW) |
85 |
86 |
86 self.CaseSensitive = wx.CheckBox(panel, label=_("Case sensitive")) |
87 self.CaseSensitive = wx.CheckBox(panel, label=_("Case sensitive")) |
87 self.CaseSensitive.SetValue(True) |
88 self.CaseSensitive.SetValue(True) |
88 options_staticboxsizer.AddWindow(self.CaseSensitive, border=5, |
89 options_staticboxsizer.AddWindow(self.CaseSensitive, border=5, |
89 flag=wx.ALL | wx.GROW) |
90 flag=wx.ALL | wx.GROW) |
90 |
91 |
91 self.WrapSearch = wx.CheckBox(panel, label=_("Wrap search")) |
92 self.WrapSearch = wx.CheckBox(panel, label=_("Wrap search")) |
92 self.WrapSearch.SetValue(True) |
93 self.WrapSearch.SetValue(True) |
93 options_staticboxsizer.AddWindow(self.WrapSearch, border=5, |
94 options_staticboxsizer.AddWindow(self.WrapSearch, border=5, |
94 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.GROW) |
95 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.GROW) |
95 |
96 |
96 self.RegularExpressions = wx.CheckBox(panel, label=_("Regular expressions")) |
97 self.RegularExpressions = wx.CheckBox(panel, label=_("Regular expressions")) |
97 options_staticboxsizer.AddWindow(self.RegularExpressions, border=5, |
98 options_staticboxsizer.AddWindow(self.RegularExpressions, border=5, |
98 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.GROW) |
99 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.GROW) |
99 |
100 |
100 buttons_sizer = wx.BoxSizer(wx.HORIZONTAL) |
101 buttons_sizer = wx.BoxSizer(wx.HORIZONTAL) |
101 main_sizer.AddSizer(buttons_sizer, border=20, |
102 main_sizer.AddSizer(buttons_sizer, border=20, |
102 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.ALIGN_RIGHT) |
103 flag=wx.LEFT | wx.RIGHT | wx.BOTTOM | wx.ALIGN_RIGHT) |
103 |
104 |
104 self.FindButton = wx.Button(panel, label=_("Find")) |
105 self.FindButton = wx.Button(panel, label=_("Find")) |
105 self.FindButton.SetDefault() |
106 self.FindButton.SetDefault() |
106 self.Bind(wx.EVT_BUTTON, self.OnFindButton, self.FindButton) |
107 self.Bind(wx.EVT_BUTTON, self.OnFindButton, self.FindButton) |
107 buttons_sizer.AddWindow(self.FindButton, border=5, flag=wx.RIGHT) |
108 buttons_sizer.AddWindow(self.FindButton, border=5, flag=wx.RIGHT) |