]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/gMathView.mli
Added universes handling. The PRE_UNIVERSES tag may help ;)
[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.mli
1 (* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
2  *                          Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
3  *
4  * This file is part of lablgtkmathview, the Ocaml binding
5  * for the GtkMathView widget.
6  * 
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.
11  *
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.
16  *
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.
20  * 
21  * For details, send a mail to the author.
22  *)
23
24 exception ErrorLoadingFile of string
25 exception ErrorWritingFile of string
26 exception ErrorLoadingDOM
27
28 class math_view_signals :
29   ([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj ->
30   object ('a)
31     inherit GObj.widget_signals
32     val after: bool
33     val obj: 'b Gtk.obj
34     method click :
35       callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
36     method element_over :
37       callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
38     method select_begin :
39       callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
40     method select_over :
41       callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
42     method select_end :
43       callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
44     method select_abort :
45       callback:(unit -> unit) -> GtkSignal.id
46   end
47
48 class math_view_skel :
49   (Gtk_mathview.math_view Gtk.obj as 'a)->
50   object
51     inherit GObj.widget
52     method freeze : unit
53     method thaw : unit
54     method get_buffer : Gdk.pixmap
55     method get_font_size : int
56     method get_adjustments : GData.adjustment * GData.adjustment
57     method get_size : int * int
58     method get_log_verbosity : int
59     method get_top : int * int
60     method load_uri : filename:string -> unit
61     method load_root : root:Gdome.element -> unit
62     method set_adjustments : GData.adjustment -> GData.adjustment -> unit
63     method set_font_size : int -> unit
64     method set_log_verbosity : int -> unit
65     method structure_changed : Gdome.element -> unit
66     method attribute_changed : Gdome.element -> name:Gdome.domString -> unit
67     method get_bounding_box : int * int * int
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
73     method unload : unit
74     val obj : 'a
75   end
76
77 class math_view :
78   Gtk_mathview.math_view Gtk.obj ->
79   object
80     inherit math_view_skel
81     method connect : math_view_signals
82   end
83
84 val math_view :
85   ?hadjustment:GData.adjustment ->
86   ?vadjustment:GData.adjustment ->
87   ?font_size:int ->
88   ?log_verbosity:int ->
89   ?width:int ->
90   ?height:int ->
91   ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> math_view