From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 7 Oct 2003 17:18:43 +0000 (+0000)
Subject: * removed debugging Printfs'
X-Git-Tag: V_0_5_1_1~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e611c6ef7fc3cd7b2a240fcbe9b76c08634415dc;p=helm.git

* removed debugging Printfs'
---

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