]> matita.cs.unibo.it Git - helm.git/commitdiff
I now register the gdome2-xslt call-back functions for error processing.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Mar 2003 09:18:05 +0000 (09:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Mar 2003 09:18:05 +0000 (09:18 +0000)
They print the error/warning messages in the HTML debug windows.

helm/gTopLevel/gTopLevel.ml

index 3fb42b47de3bdffde7381ee3dc458f66cf3f5bbf..2ff1507602b7fcbedfec300026fb3f9c591929f3 100644 (file)
@@ -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' ;
   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 ())
+      ("<h1 color=\"red\">" ^ prefix ^ msg ^ "</h1>")
+    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 () =
 ;;
 
 let main () =