controls/SearchResultPanel.py
changeset 1744 69dfdb26f600
parent 1739 ec153828ded2
child 1745 f9d32913bad4
equal deleted inserted replaced
1743:c3c3d1318130 1744:69dfdb26f600
    51 
    51 
    52 
    52 
    53 class SearchResultPanel(wx.Panel):
    53 class SearchResultPanel(wx.Panel):
    54 
    54 
    55     if wx.VERSION < (2, 6, 0):
    55     if wx.VERSION < (2, 6, 0):
    56         def Bind(self, event, function, id = None):
    56         def Bind(self, event, function, id=None):
    57             if id is not None:
    57             if id is not None:
    58                 event(self, id, function)
    58                 event(self, id, function)
    59             else:
    59             else:
    60                 event(self, function)
    60                 event(self, function)
    61 
    61 
   240             if matches_number < 2:
   240             if matches_number < 2:
   241                 header_format = _("'{a1}' - {a2} match in project")
   241                 header_format = _("'{a1}' - {a2} match in project")
   242             else:
   242             else:
   243                 header_format = _("'{a1}' - {a2} matches in project")
   243                 header_format = _("'{a1}' - {a2} matches in project")
   244 
   244 
   245             self.HeaderLabel.SetLabel(header_format.format(a1 = self.Criteria["find_pattern"], a2 = matches_number))
   245             self.HeaderLabel.SetLabel(header_format.format(a1=self.Criteria["find_pattern"], a2=matches_number))
   246             self.ResetButton.Enable(True)
   246             self.ResetButton.Enable(True)
   247 
   247 
   248             if matches_number > 0:
   248             if matches_number > 0:
   249                 root = self.SearchResultsTree.GetRootItem()
   249                 root = self.SearchResultsTree.GetRootItem()
   250                 if root is None:
   250                 if root is None: