808         self.ResetView()

   808         self.ResetView()

   809         self.RefreshHighlightsTimer.Stop()

   809         self.RefreshHighlightsTimer.Stop()

   810 

   810 

   811     def SetCurrentCursor(self, cursor):

   811     def SetCurrentCursor(self, cursor):

   812         if self.Mode != MODE_MOTION:

   812         if self.Mode != MODE_MOTION:

   814             if self.CurrentCursor != cursor:

   813             if self.CurrentCursor != cursor:

   815                 self.CurrentCursor = cursor

   814                 self.CurrentCursor = cursor

   816                 self.Editor.SetCursor(CURSORS[cursor])

   815                 self.Editor.SetCursor(CURSORS[cursor])

   817 

   816 

   818     def GetScrolledRect(self, rect):

   817     def GetScrolledRect(self, rect):