merge
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Mon, 29 Jan 2018 13:31:14 +0100
changeset 1908 d0b1ffcb9368
parent 1904 7dd49b65208b (diff)
parent 1907 9d17b9d91697 (current diff)
child 1912 8391c11477f4
merge
--- a/editors/TextViewer.py	Wed Jan 24 16:12:49 2018 +0100
+++ b/editors/TextViewer.py	Mon Jan 29 13:31:14 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()