diff -r 44318b45aab9 -r 36b7ce528911 editors/TextViewer.py
--- 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())