From 2d806103699acf1047d74416048adf57cc382451 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 14 Oct 2004 10:52:59 +0000 Subject: [PATCH] Luca (bugged) debugging stuff removed. --- helm/gTopLevel/gTopLevel.ml | 6 +----- helm/gTopLevel/termViewer.ml | 1 - 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml index 6cf8f3618..4c6a6588b 100644 --- a/helm/gTopLevel/gTopLevel.ml +++ b/helm/gTopLevel/gTopLevel.ml @@ -906,7 +906,6 @@ let 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' -> @@ -916,10 +915,7 @@ prerr_endline "LUCA: HO RICEVUTO UN CLICK" ; 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) diff --git a/helm/gTopLevel/termViewer.ml b/helm/gTopLevel/termViewer.ml index bd7d0066d..25570868b 100644 --- a/helm/gTopLevel/termViewer.ml +++ b/helm/gTopLevel/termViewer.ml @@ -244,7 +244,6 @@ Misc.domImpl#saveDocumentToFile ~name:"/tmp/prova" ~doc:mml () ; let time1 = Sys.time () in self#load_root ~root:mml#get_documentElement ; let time2 = Sys.time () in - prerr_endline "LUCA: PASSO DA DOVE DEVO PASSARE" ; debug_print ("Loading and displaying the proof took " ^ string_of_float (time2 -. time1) ^ "seconds") ; current_mml <- Some mml -- 2.39.2