161         self.Jumps = []

   161         self.Jumps = []

   162         self.EnumeratedValues = []

   162         self.EnumeratedValues = []

   163         self.DisableEvents = True

   163         self.DisableEvents = True

   164         self.TextSyntax = None

   164         self.TextSyntax = None

   165         self.CurrentAction = None

   165         self.CurrentAction = None

   170         self.InstancePath = instancepath

   167         self.InstancePath = instancepath

   171         self.ContextStack = []

   168         self.ContextStack = []

   172         self.CallStack = []

   169         self.CallStack = []

   173         

   172         

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

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

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

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

   176         

   175         

   177     def __del__(self):

   176     def __del__(self):

   211     def SetStyling(self, length, style):

   210     def SetStyling(self, length, style):

   212         self.Editor.SetStyling(length, style)

   211         self.Editor.SetStyling(length, style)

   213     

   212     

   214     def GetCurrentPos(self):

   213     def GetCurrentPos(self):

   215         return self.Editor.GetCurrentPos()

   214         return self.Editor.GetCurrentPos()

   216     

   221     

   217     def OnModification(self, event):

   222     def OnModification(self, event):

   218         if not self.DisableEvents:

   223         if not self.DisableEvents:

   219             mod_type = event.GetModificationType()

   224             mod_type = event.GetModificationType()

   220             if mod_type&wx.stc.STC_MOD_BEFOREINSERT:

   225             if mod_type&wx.stc.STC_MOD_BEFOREINSERT:

   784             self.CurrentFindHighlight = None

   789             self.CurrentFindHighlight = None

   785     

   790     

   786     def RefreshModel(self):

   791     def RefreshModel(self):

   787         self.RefreshJumpList()

   792         self.RefreshJumpList()

   788         self.Controler.SetEditedElementText(self.TagName, self.GetText())

   793         self.Controler.SetEditedElementText(self.TagName, self.GetText())

   789     

   795     

   790     def OnKeyDown(self, event):

   796     def OnKeyDown(self, event):

   791         if self.Controler is not None:

   797         if self.Controler is not None:

   792         

   798         

   793             if self.Editor.CallTipActive():

   799             if self.Editor.CallTipActive():