X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2Fi_mathml_editor.ml;h=f7eddfefdc24bd9b7a8779167742ae056e150edf;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=f3ca57454533f90b13f63fc30a880ca9c5e154c9;hpb=6661b044574d16144dfa0db68708f64ee286fb00;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
index f3ca57454..f7eddfefd 100644
--- a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -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"