422         self.Colourise(0, -1)

   422         self.Colourise(0, -1)

   423 

   423 

   424     def RefreshJumpList(self):

   424     def RefreshJumpList(self):

   425         if self.TextSyntax == "IL":

   425         if self.TextSyntax == "IL":

   426             self.Jumps = [jump.upper() for jump in LABEL_MODEL.findall(self.GetText())]

   426             self.Jumps = [jump.upper() for jump in LABEL_MODEL.findall(self.GetText())]

   428 

   427 

   429     # Buffer the last model state

   428     # Buffer the last model state

   430     def RefreshBuffer(self):

   429     def RefreshBuffer(self):

   431         self.Controler.BufferProject()

   430         self.Controler.BufferProject()

   432         if self.ParentWindow:

   431         if self.ParentWindow:

   846                 self.RemoveHighlight(*self.CurrentFindHighlight)

   845                 self.RemoveHighlight(*self.CurrentFindHighlight)

   847             self.CurrentFindHighlight = None

   846             self.CurrentFindHighlight = None

   848 

   847 

   849     def RefreshModel(self):

   848     def RefreshModel(self):

   850         self.RefreshJumpList()

   849         self.RefreshJumpList()

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

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

   852         self.ResetSearchResults()

   852         self.ResetSearchResults()

   853 

   853 

   854     def OnKeyDown(self, event):

   854     def OnKeyDown(self, event):

   855         key = event.GetKeyCode()

   855         key = event.GetKeyCode()