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