editors/TextViewer.py
changeset 1637 6f4624687b89
parent 1613 41ca586da9dc
child 1730 64d8f52bc8c8
--- a/editors/TextViewer.py	Mon Jan 16 12:22:58 2017 +0300
+++ b/editors/TextViewer.py	Tue Jan 17 13:30:38 2017 +0300
@@ -414,7 +414,7 @@
         self.Colourise(0, -1)
 
     def RefreshJumpList(self):
-        if self.TextSyntax != "IL":
+        if self.TextSyntax == "IL":
             self.Jumps = [jump.upper() for jump in LABEL_MODEL.findall(self.GetText())]
             self.Colourise(0, -1)