* removed debugging Printfs'

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml
index 84f34b5bf1a2e6825889cb1b5c2411d9a1e980fb..d59732cb25231dc13341890c894f589e7f6ee06f 100644 (file)
--- 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