equal
deleted
inserted
replaced
107 panel.SetSizer(main_sizer) |
107 panel.SetSizer(main_sizer) |
108 |
108 |
109 self.ParentWindow = parent |
109 self.ParentWindow = parent |
110 |
110 |
111 self.Bind(wx.EVT_CLOSE, self.OnCloseFrame) |
111 self.Bind(wx.EVT_CLOSE, self.OnCloseFrame) |
112 |
112 |
|
113 self.FindPattern.SetFocus() |
113 self.RefreshButtonsState() |
114 self.RefreshButtonsState() |
114 |
115 |
115 def RefreshButtonsState(self): |
116 def RefreshButtonsState(self): |
116 find_pattern = self.FindPattern.GetValue() |
117 find_pattern = self.FindPattern.GetValue() |
117 self.FindButton.Enable(find_pattern != "") |
118 self.FindButton.Enable(find_pattern != "") |