# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1517229074 -3600
# Node ID d0b1ffcb9368653c162d92b9d8b073b673ade11e
# Parent  7dd49b65208b7e7ae444c8f0dea600e408b45299# Parent  9d17b9d91697cd53281b310e75932ce114a41632
merge

diff -r 9d17b9d91697 -r d0b1ffcb9368 editors/TextViewer.py
--- 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()