1 (* This file is part of EdiTeX, an editor of mathematical
2 * expressions based on TeX syntax.
4 * Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
5 * 2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2.1 of the License, or (at your option) any later version.
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21 * For more information, please visit the project's home page
22 * http://helm.cs.unibo.it/editex/
23 * or send an email to <lpadovan@cs.unibo.it>
28 external get_default_dictionary_path : unit -> string
29 = "ml_mathml_editor_get_default_dictionary_path"
31 external get_default_mathml_stylesheet_path : unit -> string
32 = "ml_mathml_editor_get_default_mathml_stylesheet_path"
34 external get_default_tex_stylesheet_path : unit -> string
35 = "ml_mathml_editor_get_default_tex_stylesheet_path"
38 dictionary:[> `Document] GdomeT.t ->
39 mml: [> `Document] GdomeT.t ->
40 tex: [> `Document] GdomeT.t ->
41 log:(int -> string -> unit) ->
43 = "ml_mathml_editor_new"
45 external freeze : editor:t -> bool
46 = "ml_mathml_editor_freeze"
48 external thaw : editor:t -> bool
49 = "ml_mathml_editor_thaw"
51 external reset : editor:t -> unit
52 = "ml_mathml_editor_reset"
54 external push : editor:t -> ch:char -> unit
55 = "ml_mathml_editor_push"
57 external drop : editor:t -> alt:bool -> unit
58 = "ml_mathml_editor_drop"
60 external cursor_hide : editor:t -> unit
61 = "ml_mathml_editor_cursor_hide"
63 external cursor_show : editor:t -> unit
64 = "ml_mathml_editor_cursor_show"
66 external get_tex : editor:t -> string
67 = "ml_mathml_editor_get_tex"
69 external get_tml : editor:t -> TDocument.t
70 = "ml_mathml_editor_get_tml"
72 external get_mml : editor:t -> TDocument.t
73 = "ml_mathml_editor_get_mml"