]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
* added show/hide cursro methods
[helm.git] / helm / DEVEL / mathml_editor / ocaml / i_mathml_editor.ml
index f3ca57454533f90b13f63fc30a880ca9c5e154c9..62c1a380577fe26e962dcdcc781503c61c1acc8d 100644 (file)
@@ -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_cursor_hide"
+
+external cursor_show : editor:t -> unit
+  = "ml_mathml_cursor_show"
+
 external get_tex : editor:t -> string
   = "ml_mathml_editor_get_tex"