1 (* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
3 * This file is part of lablgtkmathview, the Ocaml binding
4 * for the GtkMathView widget.
6 * lablgtkmathview is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version 2
9 * of the License, or (at your option) any later version.
11 * lablgtkmathview is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with lablgtkmathview; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20 * For details, send a mail to the author.
23 class single_selection_math_view_signals :
24 ([> `container | `widget | `base | `math_view] as 'b) Gtk.obj ->
25 ((Gdome.element option -> unit) -> unit) ->
27 inherit GMathView.math_view_signals
28 method selection_changed : (Gdome.element_of_node option -> unit) -> unit
31 class single_selection_math_view :
32 Gtk_mathview.math_view Gtk.obj ->
34 inherit GMathView.math_view_skel
35 method connect : single_selection_math_view_signals
36 method get_selection : Gdome.element option
37 method set_selection : Gdome.element option -> unit
40 val single_selection_math_view :
41 ?adjustmenth:GData.adjustment ->
42 ?adjustmentv:GData.adjustment ->
44 ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
48 ?packing:(GObj.widget -> unit) ->
50 unit -> single_selection_math_view
52 (** EXPERIMENTAL STUFF from now on: use with care and at your own risk! *)
54 class multi_selection_math_view :
55 Gtk_mathview.math_view Gtk.obj ->
57 inherit single_selection_math_view
58 method remove_selection : Gdome.element -> unit
59 method remove_selections : unit
60 method add_selection : Gdome.element -> unit
61 method get_selections : Gdome.element list
64 val multi_selection_math_view :
65 ?adjustmenth:GData.adjustment ->
66 ?adjustmentv:GData.adjustment ->
68 ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
72 ?packing:(GObj.widget -> unit) ->
74 unit -> multi_selection_math_view