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
38 method action_toggle : Gdome.element -> bool
41 val single_selection_math_view :
42 ?adjustmenth:GData.adjustment ->
43 ?adjustmentv:GData.adjustment ->
45 ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
49 ?packing:(GObj.widget -> unit) ->
51 unit -> single_selection_math_view
53 (** EXPERIMENTAL STUFF from now on: use with care and at your own risk! *)
55 class multi_selection_math_view :
56 Gtk_mathview.math_view Gtk.obj ->
58 inherit single_selection_math_view
59 method remove_selection : Gdome.element -> unit
60 method remove_selections : unit
61 method add_selection : Gdome.element -> unit
62 method get_selections : Gdome.element list
65 val multi_selection_math_view :
66 ?adjustmenth:GData.adjustment ->
67 ?adjustmentv:GData.adjustment ->
69 ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
73 ?packing:(GObj.widget -> unit) ->
75 unit -> multi_selection_math_view