From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 13 Jun 2005 14:19:24 +0000 (+0000)
Subject: moved the annoying debugging print to test
X-Git-Tag: PRE_STORAGE~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=95b2ac31867d267091412dbbc0aa6f0fe35a0977;p=helm.git

moved the annoying debugging print to test
---

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) ->
diff --git a/helm/DEVEL/lablgtkmathview/test/test.ml b/helm/DEVEL/lablgtkmathview/test/test.ml
index 6a54c3463..14e14bf7a 100644
--- a/helm/DEVEL/lablgtkmathview/test/test.ml
+++ b/helm/DEVEL/lablgtkmathview/test/test.ml
@@ -221,6 +221,20 @@ let test_reset_selections (mathview : GMathViewAux.multi_selection_math_view) ()
  mathview#set_selection None ;
  mathview#remove_selections
 
+let select_over (mathview : GMathViewAux.multi_selection_math_view) =
+  (fun (_,_,_,state) ->
+    let c = 
+      function
+        `SHIFT -> "shift "
+       | `LOCK -> "lock "
+       | `CONTROL -> "control "
+       | `MOD1 -> "mod1 "
+       | _ -> "nomod "
+    in
+    List.iter (fun x -> print_string (c x)) (Gdk.Convert.modifier state) ;
+    print_char '\n' ;
+    flush stdout)
+
 let unload mathview () =
  mathview#unload ;
  print_string "unload: SEEMS TO WORK\n" ;
@@ -357,6 +371,8 @@ ignore(button_get_log_verbosity#connect#clicked (get_log_verbosity mathview)) ;
 ignore(mathview#connect#click (click mathview)) ;
 ignore(mathview#connect#selection_changed (selection_changed mathview));
 ignore(mathview#connect#element_over (element_over mathview)) ;
+ignore(self#connect#select_over (select_over mathview));
+
 ignore(button_load_dom#connect#clicked (load_doc mathview)) ;
 (* ignore(button_get_element_at#connect#clicked (get_element_at mathview)) ; *)
 (* Main Loop *)