equal
deleted
inserted
replaced
59 find_label = wx.StaticText(panel, label=_("Find:")) |
59 find_label = wx.StaticText(panel, label=_("Find:")) |
60 patterns_sizer.AddWindow(find_label, flag=wx.ALIGN_CENTER_VERTICAL) |
60 patterns_sizer.AddWindow(find_label, flag=wx.ALIGN_CENTER_VERTICAL) |
61 |
61 |
62 self.FindPattern = wx.TextCtrl(panel) |
62 self.FindPattern = wx.TextCtrl(panel) |
63 self.Bind(wx.EVT_TEXT, self.OnFindPatternChanged, self.FindPattern) |
63 self.Bind(wx.EVT_TEXT, self.OnFindPatternChanged, self.FindPattern) |
|
64 self.Bind(wx.EVT_CHAR_HOOK, self.OnEscapeKey) |
64 patterns_sizer.AddWindow(self.FindPattern, flag=wx.GROW) |
65 patterns_sizer.AddWindow(self.FindPattern, flag=wx.GROW) |
65 |
66 |
66 params_sizer = wx.BoxSizer(wx.HORIZONTAL) |
67 params_sizer = wx.BoxSizer(wx.HORIZONTAL) |
67 controls_sizer.AddSizer(params_sizer, border=5, flag=wx.GROW|wx.BOTTOM) |
68 controls_sizer.AddSizer(params_sizer, border=5, flag=wx.GROW|wx.BOTTOM) |
68 |
69 |
133 |
134 |
134 def OnCloseButton(self, event): |
135 def OnCloseButton(self, event): |
135 self.Hide() |
136 self.Hide() |
136 event.Skip() |
137 event.Skip() |
137 |
138 |
|
139 def OnEscapeKey(self, event): |
|
140 keycode = event.GetKeyCode() |
|
141 if keycode == wx.WXK_ESCAPE: |
|
142 self.OnCloseButton(event) |
|
143 else: |
|
144 event.Skip() |
|
145 |
138 def OnFindPatternChanged(self, event): |
146 def OnFindPatternChanged(self, event): |
139 self.RefreshButtonsState() |
147 self.RefreshButtonsState() |
140 event.Skip() |
148 event.Skip() |
141 |
149 |
142 def OnFindButton(self, event): |
150 def OnFindButton(self, event): |