--- 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()