X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.ml;h=8880ee06cf12bdc96bed87ee8d32e87bbab0a80a;hb=95b2ac31867d267091412dbbc0aa6f0fe35a0977;hp=c50e7fb9d85c3154c823f6552ebf398f5a1e386c;hpb=ec8fa0609fdbac7c909f6e4c93de06a8ee205092;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml
index c50e7fb9d..8880ee06c 100644
--- a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml
+++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml
@@ -255,21 +255,6 @@ class multi_selection_math_view obj =
          if not (List.mem `CONTROL (Gdk.Convert.modifier state)) then
           self#remove_selections)) ;
 
-    ignore
-     (self#connect#select_over
-       (fun (_,_,_,state) ->
-         let c = 
-          function
-             `SHIFT -> "shift "
-           | `LOCK -> "lock "
-           | `CONTROL -> "control "
-           | `MOD1 -> "mod1 "
-           | _ -> ""
-         in
-          List.iter (fun x -> print_string (c x)) (Gdk.Convert.modifier state) ;
-          print_char '\n' ;
-          flush stdout)) ;
-
     ignore
      (self#connect#select_end
        (fun (_,_,_,state) ->