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"
39 dictionary_uri: string ->
42 log:(int -> string -> unit) ->
44 = "ml_mathml_editor_new"
45 let create ?(alt_lexer=false) = raw_create ~alt_lexer
47 external freeze : editor:t -> bool
48 = "ml_mathml_editor_freeze"
50 external thaw : editor:t -> bool
51 = "ml_mathml_editor_thaw"
53 external reset : editor:t -> unit
54 = "ml_mathml_editor_reset"
56 external push : editor:t -> ch:char -> unit
57 = "ml_mathml_editor_push"
59 external drop : editor:t -> alt:bool -> unit
60 = "ml_mathml_editor_drop"
62 external cursor_hide : editor:t -> unit
63 = "ml_mathml_editor_cursor_hide"
65 external cursor_show : editor:t -> unit
66 = "ml_mathml_editor_cursor_show"
68 external get_tex : editor:t -> string
69 = "ml_mathml_editor_get_tex"
71 external get_tml : editor:t -> TDocument.t
72 = "ml_mathml_editor_get_tml"
74 external get_mml : editor:t -> TDocument.t
75 = "ml_mathml_editor_get_mml"