1 (* Copyright (C) 2002-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
2 * 2003, Paolo Marinelli <pmarinel@cs.unibo.it>.
4 * This file is part of EdiTeX, an editor of mathematical
5 * expressions based on TeX syntax
7 * EdiTeX is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version 2
10 * of the License, or (at your option) any later version.
12 * EdiTeX 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
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with EdiTeX; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21 * For details, see the EdiTeX World-Wide-Web page,
22 * http://helm.cs.unibo.it/editex, or send a mail to
23 * <luca.padovani@cs.unibo.it>
29 dictionary:[> `Document] GdomeT.t ->
30 mml: [> `Document] GdomeT.t ->
31 tex: [> `Document] GdomeT.t ->
32 log:(int -> string -> unit) ->
34 = "ml_mathml_editor_new"
36 external freeze : editor:t -> bool
37 = "ml_mathml_editor_freeze"
39 external thaw : editor:t -> bool
40 = "ml_mathml_editor_thaw"
42 external reset : editor:t -> unit
43 = "ml_mathml_editor_reset"
45 external push : editor:t -> ch:char -> unit
46 = "ml_mathml_editor_push"
48 external drop : editor:t -> alt:bool -> unit
49 = "ml_mathml_editor_drop"
51 external cursor_hide : editor:t -> unit
52 = "ml_mathml_editor_cursor_hide"
54 external cursor_show : editor:t -> unit
55 = "ml_mathml_editor_cursor_show"
57 external get_tex : editor:t -> string
58 = "ml_mathml_editor_get_tex"
60 external get_tml : editor:t -> TDocument.t
61 = "ml_mathml_editor_get_tml"
63 external get_mml : editor:t -> TDocument.t
64 = "ml_mathml_editor_get_mml"