equal
deleted
inserted
replaced
173 self.RefreshView() |
173 self.RefreshView() |
174 |
174 |
175 def RefreshView(self): |
175 def RefreshView(self): |
176 self.SearchResultsTree.DeleteAllItems() |
176 self.SearchResultsTree.DeleteAllItems() |
177 if self.Criteria is None: |
177 if self.Criteria is None: |
|
178 self.SearchResultsTree.AddRoot("") |
|
179 root = self.SearchResultsTree.GetRootItem() |
|
180 root.SetHilight(False) |
178 self.HeaderLabel.SetLabel(_("No search results available.")) |
181 self.HeaderLabel.SetLabel(_("No search results available.")) |
179 self.ResetButton.Enable(False) |
182 self.ResetButton.Enable(False) |
180 else: |
183 else: |
181 matches_number = 0 |
184 matches_number = 0 |
182 search_results_tree_infos = { |
185 search_results_tree_infos = { |