show_in_show_window_obj uri obj
in
let show_in_show_window_callback mmlwidget ((n : Gdome.element option),_,_,_) =
-prerr_endline "LUCA: HO RICEVUTO UN CLICK" ;
match n with
None -> ()
| Some n' ->
in
show_in_show_window_uri (UriManager.uri_of_string uri)
else
-prerr_endline "LUCA: AZIONO L'ACTION" ;
- ignore (mmlwidget#action_toggle n') ;
- let Some doc = n'#get_ownerDocument in
- ignore (Misc.domImpl#saveDocumentToFile ~name:"/tmp/clicked_doc" ~doc ())
+ ignore (mmlwidget#action_toggle n')
in
let _ =
mmlwidget#connect#click (show_in_show_window_callback mmlwidget)