--- a/editors/TextViewer.py Fri Jan 19 15:12:23 2018 +0100
+++ b/editors/TextViewer.py Mon Jan 29 12:56:49 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())]
# Buffer the last model state
@@ -848,6 +847,7 @@
self.Controler.SetEditedElementText(self.TagName, self.GetText())
self.ResetSearchResults()