814
|
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()
|