X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.ml;h=d59732cb25231dc13341890c894f589e7f6ee06f;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=84f34b5bf1a2e6825889cb1b5c2411d9a1e980fb;hpb=278d9954e80f952f7cde793e33e01bacce1cd40c;p=helm.git

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