]> matita.cs.unibo.it Git - helm.git/commitdiff
loadDocumentFrom* and saveDocument interface changed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Mar 2002 12:19:13 +0000 (12:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Mar 2002 12:19:13 +0000 (12:19 +0000)
helm/DEVEL/lablgtkmathview/test/test.ml

index 61dd0370cbc7a84f0c677d2d43a69f31a76fc262..655970cca5a1974e7c6aa0db5cb3c19106839123 100644 (file)
@@ -137,7 +137,7 @@ let load (mathview : GMathView.math_view) () =
 ;;
 
 let load_dom (mathview : GMathView.math_view) () =
- mathview#load_tree ((Gdome.domImplementation ())#createDocumentFromURI ~uri:"test.xml" ~mode:0) ;
+ mathview#load_tree ((Gdome.domImplementation ())#createDocumentFromURI ~uri:"test.xml" ()) ;
  print_string "load from DOM: SEEMS TO WORK\n" ;
  flush stdout
 ;;