From e611c6ef7fc3cd7b2a240fcbe9b76c08634415dc Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 7 Oct 2003 17:18:43 +0000
Subject: [PATCH] * removed debugging Printfs'

---
 helm/DEVEL/lablgtkmathview/gMathViewAux.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml
index 84f34b5bf..d59732cb2 100644
--- a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml
+++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml
@@ -255,8 +255,6 @@ class multi_selection_math_view obj =
     ignore
      (self#connect#select_over
        (fun _ state ->
-         Printf.printf "stable selections: %d\n" (List.length selected) ;
-         Printf.printf "select_over with state: " ;
          let c = 
           function
              `SHIFT -> "shift "
@@ -272,7 +270,6 @@ class multi_selection_math_view obj =
     ignore
      (self#connect#select_end
        (fun _ state ->
-         Printf.printf "select_end\n" ; flush stdout ;
          if not (List.mem `CONTROL (Gdk.Convert.modifier state)) then
           self#remove_selections ;
          match root_selected with
-- 
2.39.2