160 

   160 

   161         self.ResetSearchResults()

   161         self.ResetSearchResults()

   162 

   162 

   163         self.RefreshHighlightsTimer = wx.Timer(self, -1)

   163         self.RefreshHighlightsTimer = wx.Timer(self, -1)

   164         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)

   164         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)

   168 

   165 

   169     def GetTitle(self):

   166     def GetTitle(self):

   170         if self.Debug or self.TagName == "":

   167         if self.Debug or self.TagName == "":

   171             if len(self.InstancePath) > 15:

   168             if len(self.InstancePath) > 15:

   172                 return "..." + self.InstancePath[-12:]

   169                 return "..." + self.InstancePath[-12:]