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"
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
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