equal
deleted
inserted
replaced
412 def SetKeywords(self, keywords): |
412 def SetKeywords(self, keywords): |
413 self.Keywords = [keyword.upper() for keyword in keywords] |
413 self.Keywords = [keyword.upper() for keyword in keywords] |
414 self.Colourise(0, -1) |
414 self.Colourise(0, -1) |
415 |
415 |
416 def RefreshJumpList(self): |
416 def RefreshJumpList(self): |
417 if self.TextSyntax != "IL": |
417 if self.TextSyntax == "IL": |
418 self.Jumps = [jump.upper() for jump in LABEL_MODEL.findall(self.GetText())] |
418 self.Jumps = [jump.upper() for jump in LABEL_MODEL.findall(self.GetText())] |
419 self.Colourise(0, -1) |
419 self.Colourise(0, -1) |
420 |
420 |
421 # Buffer the last model state |
421 # Buffer the last model state |
422 def RefreshBuffer(self): |
422 def RefreshBuffer(self): |