]> 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 3561c551c3be3a4512f926efc83840d95eff8ed2..14e14bf7a9875691028a39e9ab87b177b4c6fc62 100644 (file)
@@ -88,7 +88,7 @@ let selection_changed mathview (element : Gdome.element option) =
  flush stdout
 ;;
 
-let element_over mathview (element : Gdome.element option) _ =
+let element_over mathview ((element : Gdome.element option), _, _, _) =
  print_endline ("element_over: " ^
   (match element with
       None -> "element_over on nothing"
@@ -150,7 +150,7 @@ let rec action mathview (element : Gdome.element) =
        end
      | None -> assert false (* every element has a parent *)
 
-let click mathview (element : Gdome.element option) _ =
+let click mathview ((element : Gdome.element option), _, _, _) =
  let module G = Gdome in
   match element with
      None -> print_string "CLICKED ON NOTHING\n" ; flush stdout
@@ -177,7 +177,7 @@ let test_get_selection mathview () =
  let selection =
    match mathview#get_selection with
       Some element -> element#get_tagName#to_string
-    | None -> "no selection!"
+    | None -> "no selection! but there are " ^ (string_of_int (List.length mathview#get_selections)) ^ " multiple selections!"
  in
   print_string ("selection: " ^ selection ^ "\n") ;
   flush stdout
@@ -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 *)