helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml

   1
   2 type t
   3
   4 external create :
   5   dictionary:[> `Document] GdomeT.t ->
   6   mml: [> `Document] GdomeT.t ->
   7   tex: [> `Document] GdomeT.t ->
   8   log:(int -> string -> unit) ->
   9   t
  10   = "ml_mathml_editor_new"
  11
  12 external freeze : editor:t -> bool
  13   = "ml_mathml_editor_freeze"
  14
  15 external thaw : editor:t -> bool
  16   = "ml_mathml_editor_thaw"
  17
  18 external reset : editor:t -> unit
  19   = "ml_mathml_editor_reset"
  20
  21 external push : editor:t -> ch:char -> unit
  22   = "ml_mathml_editor_push"
  23
  24 external drop : editor:t -> alt:bool -> unit
  25   = "ml_mathml_editor_drop"
  26
  27 external cursor_hide : editor:t -> unit
  28   = "ml_mathml_cursor_hide"
  29
  30 external cursor_show : editor:t -> unit
  31   = "ml_mathml_cursor_show"
  32
  33 external get_tex : editor:t -> string
  34   = "ml_mathml_editor_get_tex"
  35
  36 external get_tml : editor:t -> TDocument.t
  37   = "ml_mathml_editor_get_tml"
  38
  39 external get_mml : editor:t -> TDocument.t
  40   = "ml_mathml_editor_get_mml"
  41