debian release 0.0.4-1

[helm.git] / helm / DEVEL / mathml_editor / ocaml / i_mathml_editor.ml

diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
index 5019fbeff62fc351da1b4cf3f996552be7f5d04b..f7eddfefdc24bd9b7a8779167742ae056e150edf 100644 (file)
--- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -5,7 +5,7 @@ external create :
   dictionary:[> `Document] GdomeT.t ->
   mml: [> `Document] GdomeT.t -> 
   tex: [> `Document] GdomeT.t ->
-  log:(string -> unit) ->
+  log:(int -> string -> unit) ->
   t
   = "ml_mathml_editor_new"
 
@@ -24,6 +24,12 @@ external push : editor:t -> ch:char -> unit
 external drop : editor:t -> alt:bool -> unit
   = "ml_mathml_editor_drop"
 
+external cursor_hide : editor:t -> unit
+  = "ml_mathml_editor_cursor_hide"
+
+external cursor_show : editor:t -> unit
+  = "ml_mathml_editor_cursor_show"
+
 external get_tex : editor:t -> string
   = "ml_mathml_editor_get_tex"