| changeset 1748 | ba5f64fe0e00 |
| parent 1745 | f9d32913bad4 |
| child 1762 | fcc406143e5b |
| 1747:6046ffa2280f | 1748:ba5f64fe0e00 |
|---|---|
893 self.VariablesPanel.RefreshView() |
893 self.VariablesPanel.RefreshView() |
894 self.CodeEditor.RefreshView() |
894 self.CodeEditor.RefreshView() |
895 |
895 |
896 def Find(self, direction, search_params): |
896 def Find(self, direction, search_params): |
897 self.CodeEditor.Find(direction, search_params) |
897 self.CodeEditor.Find(direction, search_params) |
898 |