1 (* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
2 * Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
4 * This file is part of lablgtkmathview, the Ocaml binding
5 * for the GtkMathView widget.
7 * lablgtkmathview 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 * lablgtkmathview 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 lablgtkmathview; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21 * For details, send a mail to the author.
24 exception ErrorLoadingFile of string
25 exception ErrorWritingFile of string
26 exception ErrorLoadingDOM
28 class math_view_signals :
29 ([> `container | `gtk | `mathview | `widget] as 'b) Gtk.obj ->
31 inherit GContainer.container_signals
35 callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
37 callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
39 callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
41 callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
43 callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
45 callback:(unit -> unit) -> GtkSignal.id
48 class math_view_skel :
49 (Gtk_mathview.math_view Gtk.obj as 'a)->
51 inherit GContainer.container
54 method get_buffer : Gdk.pixmap
55 method get_font_size : int
56 method get_drawing_area : GMisc.drawing_area
57 method get_hadjustment : GData.adjustment
58 method get_height : int
59 method get_log_verbosity : int
60 method get_top : int * int
61 method get_vadjustment : GData.adjustment
62 method get_width : int
63 method load_uri : filename:string -> unit
64 method load_doc : dom:Gdome.document -> unit
65 method set_adjustments : GData.adjustment -> GData.adjustment -> unit
66 method set_font_size : int -> unit
67 method set_log_verbosity : int -> unit
68 method select : Gdome.element -> unit
69 method unselect : Gdome.element -> unit
70 method get_element_at : int -> int -> Gdome.element option
71 method is_selected : Gdome.element -> bool
72 method set_top : int -> int -> unit
78 Gtk_mathview.math_view Gtk.obj ->
80 inherit math_view_skel
81 method connect : math_view_signals
85 ?hadjustment:GData.adjustment ->
86 ?vadjustment:GData.adjustment ->
92 ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> math_view