200         self.ContextStack = []

   200         self.ContextStack = []

   201         self.CallStack = []

   201         self.CallStack = []

   202         

   202         

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

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

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

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

   206     def __del__(self):

   206     def __del__(self):

   207         self.RefreshHighlightsTimer.Stop()

   207         self.RefreshHighlightsTimer.Stop()

   208     

   208     

   209     def GetTitle(self):

   209     def GetTitle(self):

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

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