159     def __init__(self, parent):

   159     def __init__(self, parent):

   160         self._init_ctrls(parent)

   160         self._init_ctrls(parent)

   161 

   161 

   162         for name, label in GetElementsChoices():

   162         for name, label in GetElementsChoices():

   163             self.ElementsList.Append(_(label))

   163             self.ElementsList.Append(_(label))

   164 

   166 

   165     def GetCriteria(self):

   167     def GetCriteria(self):

   166         raw_pattern = pattern = self.Pattern.GetValue()

   168         raw_pattern = pattern = self.Pattern.GetValue()

   167         if not self.CaseSensitive.GetValue():

   169         if not self.CaseSensitive.GetValue():

   168             pattern = pattern.upper()

   170             pattern = pattern.upper()