]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/ocaml/ml_mathml_editor.c
* added default dictionary/stylesheet paths
[helm.git] / helm / DEVEL / mathml_editor / ocaml / ml_mathml_editor.c
index 9b78aeb4101ade83155400f41882b5a43fc3c7c0..4f84fffe36c814eb0f06e94abaa66cbb829ecb8f 100644 (file)
@@ -58,7 +58,7 @@ ml_mathml_editor_finalize(value v)
   free(editor);
 }
 
-void
+static void
 ml_mathml_editor_log_callback(int level, const char* msg, void* user_data)
 {
   ml_Editor* ml_editor = (ml_Editor*) user_data;
@@ -66,6 +66,27 @@ ml_mathml_editor_log_callback(int level, const char* msg, void* user_data)
   callback2(ml_editor->callback, Val_int(level), copy_string(msg));
 }
 
+value
+ml_mathml_editor_get_default_dictionary_path(value unit)
+{
+  CAMLparam1(unit);
+  CAMLreturn(copy_string(c_mathml_editor_get_default_dictionary_path()));
+}
+
+value
+ml_mathml_editor_get_default_mathml_stylesheet_path(value unit)
+{
+  CAMLparam1(unit);
+  CAMLreturn(copy_string(c_mathml_editor_get_default_mathml_stylesheet_path()));
+}
+
+value
+ml_mathml_editor_get_default_tex_stylesheet_path(value unit)
+{
+  CAMLparam1(unit);
+  CAMLreturn(copy_string(c_mathml_editor_get_default_tex_stylesheet_path()));
+}
+
 value
 ml_mathml_editor_new(value dictionary,
                     value tml_mml,