changeset 1065 | 36b7ce528911 |
parent 1060 | ac9896336b90 |
child 1091 | 5f612651d227 |
--- a/editors/TextViewer.py Wed Apr 24 22:56:30 2013 +0200 +++ b/editors/TextViewer.py Wed Apr 24 22:57:41 2013 +0200 @@ -810,8 +810,6 @@ self.RemoveHighlight(*self.CurrentFindHighlight) self.CurrentFindHighlight = None - print self.CurrentFindHighlight - def RefreshModel(self): self.RefreshJumpList() self.Controler.SetEditedElementText(self.TagName, self.GetText())