237             self.GotoPos(old_cursor_pos)

   237             self.GotoPos(old_cursor_pos)

   238         self.ScrollToColumn(0)

   238         self.ScrollToColumn(0)

   239         self.RefreshJumpList()

   239         self.RefreshJumpList()

   240         self.EmptyUndoBuffer()

   240         self.EmptyUndoBuffer()

   241         self.DisableEvents = False

   241         self.DisableEvents = False

   243     def OnStyleNeeded(self, event):

   246     def OnStyleNeeded(self, event):

   244         self.TextChanged = True

   247         self.TextChanged = True

   245         line = self.LineFromPosition(self.GetEndStyled())

   248         line = self.LineFromPosition(self.GetEndStyled())

   246         if line == 0:

   249         if line == 0:

   247             start_pos = 0

   250             start_pos = 0