# HG changeset patch
# User Laurent Bessard
# Date 1366837061 -7200
# Node ID 36b7ce5289119e0e66d54c17110b82023cba00c5
# Parent  44318b45aab981a7664bdb1647acbd71f1f59be8
Removed undeleted debug print

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