|
1 #!/usr/bin/env python |
|
2 # -*- coding: utf-8 -*- |
|
3 |
|
4 #This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor |
|
5 #based on the plcopen standard. |
|
6 # |
|
7 #Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD |
|
8 # |
|
9 #See COPYING file for copyrights details. |
|
10 # |
|
11 #This library is free software; you can redistribute it and/or |
|
12 #modify it under the terms of the GNU General Public |
|
13 #License as published by the Free Software Foundation; either |
|
14 #version 2.1 of the License, or (at your option) any later version. |
|
15 # |
|
16 #This library is distributed in the hope that it will be useful, |
|
17 #but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
18 #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
|
19 #General Public License for more details. |
|
20 # |
|
21 #You should have received a copy of the GNU General Public |
|
22 #License along with this library; if not, write to the Free Software |
|
23 #Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
|
24 |
|
25 import wx |
|
26 |
|
27 class FindInPouDialog(wx.Frame): |
|
28 |
|
29 def __init__(self, parent): |
|
30 wx.Frame.__init__(self, parent, title=_("Find"), |
|
31 size=wx.Size(400, 250), style=wx.CAPTION| |
|
32 wx.CLOSE_BOX| |
|
33 wx.CLIP_CHILDREN| |
|
34 wx.RESIZE_BORDER| |
|
35 wx.STAY_ON_TOP) |
|
36 |
|
37 panel = wx.Panel(self, style=wx.TAB_TRAVERSAL) |
|
38 |
|
39 main_sizer = wx.FlexGridSizer(cols=1, hgap=5, rows=2, vgap=5) |
|
40 main_sizer.AddGrowableCol(0) |
|
41 main_sizer.AddGrowableRow(0) |
|
42 |
|
43 controls_sizer = wx.BoxSizer(wx.VERTICAL) |
|
44 main_sizer.AddSizer(controls_sizer, border=20, |
|
45 flag=wx.GROW|wx.TOP|wx.LEFT|wx.RIGHT) |
|
46 |
|
47 patterns_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=1, vgap=5) |
|
48 patterns_sizer.AddGrowableCol(1) |
|
49 controls_sizer.AddSizer(patterns_sizer, border=5, flag=wx.GROW|wx.BOTTOM) |
|
50 |
|
51 find_label = wx.StaticText(panel, label=_("Find:")) |
|
52 patterns_sizer.AddWindow(find_label, flag=wx.ALIGN_CENTER_VERTICAL) |
|
53 |
|
54 self.FindPattern = wx.TextCtrl(panel) |
|
55 self.Bind(wx.EVT_TEXT, self.OnFindPatternChanged, self.FindPattern) |
|
56 patterns_sizer.AddWindow(self.FindPattern, flag=wx.GROW) |
|
57 |
|
58 params_sizer = wx.BoxSizer(wx.HORIZONTAL) |
|
59 controls_sizer.AddSizer(params_sizer, border=5, flag=wx.GROW|wx.BOTTOM) |
|
60 |
|
61 direction_staticbox = wx.StaticBox(panel, label=_("Direction")) |
|
62 direction_staticboxsizer = wx.StaticBoxSizer( |
|
63 direction_staticbox, wx.VERTICAL) |
|
64 params_sizer.AddSizer(direction_staticboxsizer, 1, border=5, |
|
65 flag=wx.GROW|wx.RIGHT) |
|
66 |
|
67 self.Forward = wx.RadioButton(panel, label=_("Forward"), |
|
68 style=wx.RB_GROUP) |
|
69 direction_staticboxsizer.AddWindow(self.Forward, border=5, |
|
70 flag=wx.ALL|wx.GROW) |
|
71 |
|
72 self.Backward = wx.RadioButton(panel, label=_("Backward")) |
|
73 direction_staticboxsizer.AddWindow(self.Backward, border=5, |
|
74 flag=wx.ALL|wx.GROW) |
|
75 |
|
76 options_staticbox = wx.StaticBox(panel, label=_("Options")) |
|
77 options_staticboxsizer = wx.StaticBoxSizer( |
|
78 options_staticbox, wx.VERTICAL) |
|
79 params_sizer.AddSizer(options_staticboxsizer, 1, flag=wx.GROW) |
|
80 |
|
81 self.CaseSensitive = wx.CheckBox(panel, label=_("Case sensitive")) |
|
82 self.CaseSensitive.SetValue(True) |
|
83 options_staticboxsizer.AddWindow(self.CaseSensitive, border=5, |
|
84 flag=wx.ALL|wx.GROW) |
|
85 |
|
86 self.WrapSearch = wx.CheckBox(panel, label=_("Wrap search")) |
|
87 self.WrapSearch.SetValue(True) |
|
88 options_staticboxsizer.AddWindow(self.WrapSearch, border=5, |
|
89 flag=wx.LEFT|wx.RIGHT|wx.BOTTOM|wx.GROW) |
|
90 |
|
91 self.RegularExpressions = wx.CheckBox(panel, label=_("Regular expressions")) |
|
92 options_staticboxsizer.AddWindow(self.RegularExpressions, border=5, |
|
93 flag=wx.LEFT|wx.RIGHT|wx.BOTTOM|wx.GROW) |
|
94 |
|
95 buttons_sizer = wx.BoxSizer(wx.HORIZONTAL) |
|
96 main_sizer.AddSizer(buttons_sizer, border=20, |
|
97 flag=wx.LEFT|wx.RIGHT|wx.BOTTOM|wx.ALIGN_RIGHT) |
|
98 |
|
99 self.FindButton = wx.Button(panel, label=_("Find")) |
|
100 self.Bind(wx.EVT_BUTTON, self.OnFindButton, self.FindButton) |
|
101 buttons_sizer.AddWindow(self.FindButton, border=5, flag=wx.RIGHT) |
|
102 |
|
103 self.CloseButton = wx.Button(panel, label=("Close")) |
|
104 self.Bind(wx.EVT_BUTTON, self.OnCloseButton, self.CloseButton) |
|
105 buttons_sizer.AddWindow(self.CloseButton) |
|
106 |
|
107 panel.SetSizer(main_sizer) |
|
108 |
|
109 self.ParentWindow = parent |
|
110 |
|
111 self.Bind(wx.EVT_CLOSE, self.OnCloseFrame) |
|
112 |
|
113 self.RefreshButtonsState() |
|
114 |
|
115 def RefreshButtonsState(self): |
|
116 find_pattern = self.FindPattern.GetValue() |
|
117 self.FindButton.Enable(find_pattern != "") |
|
118 |
|
119 def OnCloseFrame(self, event): |
|
120 self.Hide() |
|
121 event.Veto() |
|
122 |
|
123 def OnCloseButton(self, event): |
|
124 self.Hide() |
|
125 event.Skip() |
|
126 |
|
127 def OnFindPatternChanged(self, event): |
|
128 self.RefreshButtonsState() |
|
129 event.Skip() |
|
130 |
|
131 def OnFindButton(self, event): |
|
132 infos = { |
|
133 "find_pattern": self.FindPattern.GetValue(), |
|
134 "wrap": self.WrapSearch.GetValue(), |
|
135 "case_sensitive": self.CaseSensitive.GetValue(), |
|
136 "regular_expression": self.RegularExpressions.GetValue()} |
|
137 wx.CallAfter(self.ParentWindow.FindInPou, |
|
138 {True: 1, False:-1}[self.Forward.GetValue()], |
|
139 infos) |
|
140 event.Skip() |