- if not (jump element) then
- if not (mathview#action_toggle element) then
- (*
- match mathview#get_action with
- Some n ->
- mathview#action_toggle ;
- print_string ("current action selection: " ^
- string_of_int mathview#action_get_selected ^ "\n") ;
- flush stdout ;
- | None ->
- print_string ("mouse is on: " ^
- (match (mathview#get_element : Gdome.element option) with
- Some e -> e#get_tagName#to_string
- | None -> "NO ELEMENT!\n"
- ) ^ "\n") ;
- print_endline ("clicked: " ^ element#get_tagName#to_string) ;
- flush stdout
- *)
- ()
+ match element with
+ None -> print_string "CLICKED ON NOTHING\n" ; flush stdout
+ | Some element ->
+ if not (jump element) then
+ if not (mathview#action_toggle element) then
+ ()