808         else:

   808         else:

   809             if self.CurrentFindHighlight is not None:

   809             if self.CurrentFindHighlight is not None:

   810                 self.RemoveHighlight(*self.CurrentFindHighlight)

   810                 self.RemoveHighlight(*self.CurrentFindHighlight)

   811             self.CurrentFindHighlight = None

   811             self.CurrentFindHighlight = None

   812     

   812     

   815     def RefreshModel(self):

   813     def RefreshModel(self):

   816         self.RefreshJumpList()

   814         self.RefreshJumpList()

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

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

   818     

   816     

   819     def OnKeyDown(self, event):

   817     def OnKeyDown(self, event):