editors/TextViewer.py
changeset 1904 7dd49b65208b
parent 1878 fb73a6b6622d
child 2177 10aa87518401
--- a/editors/TextViewer.py	Fri Jan 19 15:12:23 2018 +0100
+++ b/editors/TextViewer.py	Mon Jan 29 12:56:49 2018 +0100
@@ -424,7 +424,6 @@
     def RefreshJumpList(self):
         if self.TextSyntax == "IL":
             self.Jumps = [jump.upper() for jump in LABEL_MODEL.findall(self.GetText())]
-            self.Colourise(0, -1)
 
     # Buffer the last model state
     def RefreshBuffer(self):
@@ -848,6 +847,7 @@
 
     def RefreshModel(self):
         self.RefreshJumpList()
+        self.Colourise(0, -1)
         self.Controler.SetEditedElementText(self.TagName, self.GetText())
         self.ResetSearchResults()