]> matita.cs.unibo.it Git - helm.git/commitdiff
moved the annoying debugging print to test
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:19:24 +0000 (14:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:19:24 +0000 (14:19 +0000)
helm/DEVEL/lablgtkmathview/gMathViewAux.ml
helm/DEVEL/lablgtkmathview/test/test.ml

index c50e7fb9d85c3154c823f6552ebf398f5a1e386c..8880ee06cf12bdc96bed87ee8d32e87bbab0a80a 100644 (file)
@@ -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) ->
index 6a54c3463dac5a085865682cd31985a205eb1adb..14e14bf7a9875691028a39e9ab87b177b4c6fc62 100644 (file)
@@ -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 *)