]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/test.ml
moved the annoying debugging print to test
[helm.git] / helm / DEVEL / lablgtkmathview / test / test.ml
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 *)