controls/SearchResultPanel.py
changeset 1581 2295fdc5c271
parent 1571 486f94a8032c
child 1621 4485e6478b91
equal deleted inserted replaced
1580:f37b88d3edc6 1581:2295fdc5c271
   247                 
   247                 
   248                 else:
   248                 else:
   249                     search_results_tree_children.append(element_infos)
   249                     search_results_tree_children.append(element_infos)
   250             
   250             
   251             if matches_number < 2:
   251             if matches_number < 2:
   252                 header_format = _("'%s' - %d match in project")
   252                 header_format = _("'{a1}' - {a2} match in project")
   253             else:
   253             else:
   254                 header_format = _("'%s' - %d matches in project")
   254                 header_format = _("'{a1}' - {a2} matches in project")
   255             
   255             
   256             self.HeaderLabel.SetLabel(header_format % (self.Criteria["find_pattern"], matches_number))
   256             self.HeaderLabel.SetLabel(header_format.format(a1 = self.Criteria["find_pattern"], a2 = matches_number))
   257             self.ResetButton.Enable(True)
   257             self.ResetButton.Enable(True)
   258             
   258             
   259             if matches_number > 0:
   259             if matches_number > 0:
   260                 root = self.SearchResultsTree.GetRootItem()
   260                 root = self.SearchResultsTree.GetRootItem()
   261                 if root is None:
   261                 if root is None: