]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/test.ml
* binding update to recognize the new event scheme generated by
[helm.git] / helm / DEVEL / lablgtkmathview / test / test.ml
index 2bbdbb0b43f56eb5cd143bc110378daf44d9f59f..76b2856d30e5e5f2a8a99f975e66bfdfeef5a61a 100644 (file)
@@ -40,10 +40,10 @@ let selection_changed mathview (element : Gdome.element option) =
  flush stdout
 ;;
 
-let element_changed mathview (element : Gdome.element option) =
- print_endline ("element_changed: " ^
+let element_over mathview (element : Gdome.element option) _ =
+ print_endline ("element_over: " ^
   (match element with
-      None -> "element_changed on nothing"
+      None -> "element_over on nothing"
     | Some element -> element#get_tagName#to_string
   )
  ) ;
@@ -102,10 +102,10 @@ let rec action mathview (element : Gdome.element) =
        end
      | None -> assert false (* every element has a parent *)
 
-let clicked mathview (element : Gdome.element) =
+let click mathview (element : Gdome.element) _ =
  let module G = Gdome in
   if not (jump element) then
-  if not (action mathview element) then
+  if not (mathview#action_toggle element) then
   (*
    match mathview#get_action with
       Some n ->
@@ -409,9 +409,9 @@ ignore(button_t1#connect#clicked (activate_t1 mathview)) ;
 ignore(button_get_font_manager_type#connect#clicked (get_font_manager_type mathview)) ;
 ignore(button_get_transparency#connect#clicked (get_transparency mathview)) ;
 ignore(button_set_transparency#connect#clicked (set_transparency mathview)) ;
-ignore(mathview#connect#clicked (clicked mathview)) ;
+ignore(mathview#connect#click (click mathview)) ;
 ignore(mathview#connect#selection_changed (selection_changed mathview));
-ignore(mathview#connect#element_changed (element_changed mathview)) ;
+ignore(mathview#connect#element_over (element_over mathview)) ;
 ignore(button_load_dom#connect#clicked (load_doc mathview)) ;
 (* Main Loop *)
 main_window#show () ;