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
)
) ;
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 ->
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 () ;