]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/gMathView.mli
New module helm-mathql.
[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.mli
1 (* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
2  *
3  * This file is part of lablgtkmathview, the Ocaml binding
4  * for the GtkMathView widget.
5  * 
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.
10  *
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.
15  *
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.
19  * 
20  * For details, send a mail to the author.
21  *)
22
23 exception ErrorLoadingFile of string
24 exception ErrorWritingFile of string
25 exception ErrorLoadingDOM
26 exception NoSelection
27 class math_view_signals :
28   ([> `container | `widget] as 'b) Gtk.obj ->
29   object ('a)
30     inherit GContainer.container_signals
31     method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
32     method element_changed :
33       callback:(Gdome.element option -> unit) -> GtkSignal.id
34     method selection_changed :
35       callback:(Gdome.element option -> unit) -> GtkSignal.id
36   end
37 class math_view :
38   (Gtk_mathview.math_view Gtk.obj as 'a)->
39   object
40     inherit GContainer.container
41     method action_get_selected : int
42     method action_set_selected : int -> unit
43     method action_toggle : unit
44     method connect : math_view_signals
45     method export_to_postscript :
46       ?width:int ->
47       ?height:int ->
48       ?x_margin:int ->
49       ?y_margin:int ->
50       ?disable_colors:bool -> filename:string -> unit -> unit
51     method get_action : Gdome.element option
52     method get_anti_aliasing : bool
53     method get_buffer : Gdk.pixmap
54     method get_element : Gdome.element option
55     method get_font_manager_type : [ `font_manager_gtk | `font_manager_t1]
56     method get_font_size : int
57     method get_frame : GBin.frame
58     method get_hadjustment : GData.adjustment
59     method get_height : int
60     method get_kerning : bool
61     method get_log_verbosity : int
62     method get_selection : Gdome.element option
63     method get_top : int * int
64     method get_transparency : bool
65     method get_vadjustment : GData.adjustment
66     method get_width : int
67     method load : filename:string -> unit
68     method load_tree : dom:Gdome.document -> unit
69     method set_adjustments : GData.adjustment -> GData.adjustment -> unit
70     method set_anti_aliasing : bool -> unit
71     method set_font_manager_type :
72       fm_type:[ `font_manager_gtk | `font_manager_t1] -> unit
73     method set_font_size : int -> unit
74     method set_kerning : bool -> unit
75     method set_log_verbosity : int -> unit
76     method set_selection : Gdome.element option -> unit
77     method set_top : int -> int -> unit
78     method set_transparency : bool -> unit
79     method unload : unit
80     val obj : 'a
81   end
82 val math_view :
83   ?adjustmenth:GData.adjustment ->
84   ?adjustmentv:GData.adjustment ->
85   ?font_size:int ->
86   ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
87   ?border_width:int ->
88   ?width:int ->
89   ?height:int ->
90   ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> math_view