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>
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"