- no more CSCisms for MathML editor: now use mathml editor debian and

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

diff --git a/helm/gTopLevel/texTermEditor.ml b/helm/gTopLevel/texTermEditor.ml
index fc4af3cdebf2cd059cf0c12628ceeca2c12a88b6..56ed54f4117db3391c32f1fd7618e9f61dc80309 100644 (file)
--- a/helm/gTopLevel/texTermEditor.ml
+++ b/helm/gTopLevel/texTermEditor.ml
@@ -65,19 +65,15 @@ module Make(C:Disambiguate.Callbacks) =
     let drawing_area = mmlwidget#get_drawing_area in
     let _ = drawing_area#misc#set_can_focus true in
     let _ = drawing_area#misc#grab_focus () in
-    let dictionary =
-     Misc.domImpl#createDocumentFromURI
-      "/home/claudio/miohelm/helm/DEVEL/mathml_editor/dictionary-tex.xml" () in
-    let mml_style =
-     Misc.domImpl#createDocumentFromURI
-      "/home/claudio/miohelm/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl" () in
-    let tex_style =
-     Misc.domImpl#createDocumentFromURI
-      "/home/claudio/miohelm/helm/DEVEL/mathml_editor/xsl/tml-tex.xsl" () in
     let logger =
      fun l s -> prerr_endline ("TERM_EDITOR (" ^ string_of_int l ^ "): " ^ s) in
     let tex_editor =
-     Mathml_editor.create dictionary mml_style tex_style logger in
+     Mathml_editor.create
+      Mathml_editor.default_dictionary_path
+      Mathml_editor.default_mathml_stylesheet_path
+      Mathml_editor.default_tex_stylesheet_path
+      logger
+    in
     let _ =
      (new GObj.event_ops mmlwidget#coerce#as_widget)#connect#button_press
       ~callback:(fun _ -> drawing_area#misc#grab_focus () ; true) in