From cf31ce0de2a3b1f9d995f69d7e5d148bb1b92a82 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 19 Mar 2003 09:18:05 +0000 Subject: [PATCH] I now register the gdome2-xslt call-back functions for error processing. They print the error/warning messages in the HTML debug windows. --- helm/gTopLevel/gTopLevel.ml | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml index 3fb42b47d..2ff150760 100644 --- a/helm/gTopLevel/gTopLevel.ml +++ b/helm/gTopLevel/gTopLevel.ml @@ -2840,9 +2840,16 @@ let initialize_everything () = let notebook = new notebook in let rendering_window' = new rendering_window output notebook in set_rendering_window rendering_window' ; - rendering_window'#show () ; -(* Hbugs'.toggle true; *) - GtkThread.main () + let print_error_as_html prefix msg = + output_html (outputhtml ()) + ("

" ^ prefix ^ msg ^ "

") + in + Gdome_xslt.setErrorCallback (Some (print_error_as_html "XSLT Error: ")); + Gdome_xslt.setDebugCallback + (Some (print_error_as_html "XSLT Debug Message: ")); + rendering_window'#show () ; +(* Hbugs'.toggle true; *) + GtkThread.main () ;; let main () = -- 2.39.2