ported to latest lablgtkmathview

[helm.git] / helm / gTopLevel / gTopLevel.ml

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index eeb6053aa2615b86a75efc5723d7193894896f3b..197b6f1ee305b6db4d121934f19f228bd8d57795 100644 (file)
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -892,7 +892,7 @@ let
       in
        window#set_title (UriManager.string_of_uri uri) ;
        window#misc#hide () ; window#show () ;
-       mmlwidget#load_doc mml ;
+       mmlwidget#load_root mml#get_documentElement ;
     with
      e ->
       HelmLogger.log
@@ -902,7 +902,7 @@ let
    let obj = CicEnvironment.get_obj uri in
     show_in_show_window_obj uri obj
   in
-   let show_in_show_window_callback mmlwidget (n : Gdome.element option) _ =
+   let show_in_show_window_callback mmlwidget ((n : Gdome.element option),_,_,_) =
     match n with
        None -> ()
      | Some n' ->