]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gPack.mli
- DoubleTypeInference.does_not_occur exposed
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gPack.mli
1 (* $Id$ *)
2
3 open Gtk
4 open GObj
5 open GContainer
6
7 class box_skel :
8   'a obj ->
9   object
10     inherit container
11     constraint 'a = [>`box|`container|`widget]
12     val obj : 'a obj
13     method pack :
14       ?from:Tags.pack_type ->
15       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
16     method reorder_child : widget -> pos:int -> unit
17     method set_child_packing :
18       ?from:Tags.pack_type ->
19       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
20     method set_homogeneous : bool -> unit
21     method set_spacing : int -> unit
22   end
23 class box :
24   'a obj ->
25   object
26     inherit box_skel
27     constraint 'a = [>`box|`container|`widget]
28     val obj : 'a obj
29     method connect : GContainer.container_signals
30   end
31
32 val box :
33   Tags.orientation ->
34   ?homogeneous:bool ->
35   ?spacing:int ->
36   ?border_width:int ->
37   ?width:int ->
38   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
39 val vbox :
40   ?homogeneous:bool ->
41   ?spacing:int ->
42   ?border_width:int ->
43   ?width:int ->
44   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
45 val hbox :
46   ?homogeneous:bool ->
47   ?spacing:int ->
48   ?border_width:int ->
49   ?width:int ->
50   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> box
51
52 class button_box :
53   Gtk.button_box obj ->
54   object
55     inherit container_full
56     val obj : Gtk.button_box obj
57     method pack :
58       ?from:Tags.pack_type ->
59       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
60     method reorder_child : widget -> pos:int -> unit
61     method set_child_ipadding : ?x:int -> ?y:int -> unit -> unit
62     method set_child_packing :
63       ?from:Tags.pack_type ->
64       ?expand:bool -> ?fill:bool -> ?padding:int -> widget -> unit
65     method set_child_size : ?width:int -> ?height:int -> unit -> unit
66     method set_homogeneous : bool -> unit
67     method set_layout : GtkPack.BBox.bbox_style -> unit
68     method set_spacing : int -> unit
69   end
70 val button_box :
71   Tags.orientation ->
72   ?spacing:int ->
73   ?child_width:int ->
74   ?child_height:int ->
75   ?child_ipadx:int ->
76   ?child_ipady:int ->
77   ?layout:GtkPack.BBox.bbox_style ->
78   ?border_width:int ->
79   ?width:int ->
80   ?height:int ->
81   ?packing:(widget -> unit) -> ?show:bool -> unit -> button_box
82
83 class table :
84   Gtk.table obj ->
85   object
86     inherit container_full
87     val obj : Gtk.table obj
88     method attach :
89       left:int ->
90       top:int ->
91       ?right:int ->
92       ?bottom:int ->
93       ?expand:Tags.expand_type ->
94       ?fill:Tags.expand_type ->
95       ?shrink:Tags.expand_type ->
96       ?xpadding:int -> ?ypadding:int -> widget -> unit
97     method set_col_spacing : int -> int -> unit
98     method set_col_spacings : int -> unit
99     method set_homogeneous : bool -> unit
100     method set_row_spacing : int -> int -> unit
101     method set_row_spacings : int -> unit
102   end
103 val table :
104   rows:int ->
105   columns:int ->
106   ?homogeneous:bool ->
107   ?row_spacings:int ->
108   ?col_spacings:int ->
109   ?border_width:int ->
110   ?width:int ->
111   ?height:int ->
112   ?packing:(widget -> unit) -> ?show:bool -> unit -> table
113
114 class fixed :
115   Gtk.fixed obj ->
116   object
117     inherit container_full
118     val obj : Gtk.fixed obj
119     method event : event_ops
120     method move : widget -> x:int -> y:int -> unit
121     method put : widget -> x:int -> y:int -> unit
122   end
123 val fixed :
124   ?border_width:int ->
125   ?width:int ->
126   ?height:int ->
127   ?packing:(widget -> unit) -> ?show:bool -> unit -> fixed
128
129 class layout :
130   Gtk.layout obj ->
131   object
132     inherit container_full
133     val obj : Gtk.layout obj
134     method event : event_ops
135     method freeze : unit -> unit
136     method hadjustment : GData.adjustment
137     method height : int
138     method move : widget -> x:int -> y:int -> unit
139     method put : widget -> x:int -> y:int -> unit
140     method set_hadjustment : GData.adjustment -> unit
141     method set_height : int -> unit
142     method set_vadjustment : GData.adjustment -> unit
143     method set_width : int -> unit
144     method thaw : unit -> unit
145     method vadjustment : GData.adjustment
146     method width : int
147   end
148 val layout :
149   ?hadjustment:GData.adjustment ->
150   ?vadjustment:GData.adjustment ->
151   ?layout_width:int ->
152   ?layout_height:int ->
153   ?border_width:int ->
154   ?width:int ->
155   ?height:int ->
156   ?packing:(widget -> unit) -> ?show:bool -> unit -> layout
157
158 class notebook_signals : 'a obj ->
159   object
160     inherit container_signals
161     constraint 'a = [>`notebook|`container|`widget]
162     val obj : 'a obj
163     method switch_page : callback:(int -> unit) -> GtkSignal.id
164   end
165
166 class notebook : ([> `widget | `container | `notebook] as 'a) obj ->
167   object
168     inherit container
169     val obj : 'a obj
170     method event : event_ops
171     method append_page :
172       ?tab_label:widget -> ?menu_label:widget -> widget -> unit
173     method connect : notebook_signals
174     method current_page : int
175     method get_menu_label : widget -> widget
176     method get_nth_page : int -> widget
177     method get_tab_label : widget -> widget
178     method goto_page : int -> unit
179     method insert_page :
180       ?tab_label:widget -> ?menu_label:widget -> pos:int -> widget -> unit
181     method next_page : unit -> unit
182     method page_num : widget -> int
183     method prepend_page :
184       ?tab_label:widget -> ?menu_label:widget -> widget -> unit
185     method previous_page : unit -> unit
186     method remove_page : int -> unit
187     method set_homogeneous_tabs : bool -> unit
188     method set_page :
189       ?tab_label:widget -> ?menu_label:widget -> widget -> unit
190     method set_popup : bool -> unit
191     method set_scrollable : bool -> unit
192     method set_show_border : bool -> unit
193     method set_show_tabs : bool -> unit
194     method set_tab_border : int -> unit
195     method set_tab_pos : Tags.position -> unit
196   end
197 val notebook :
198   ?tab_pos:Tags.position ->
199   ?tab_border:int ->
200   ?show_tabs:bool ->
201   ?homogeneous_tabs:bool ->
202   ?show_border:bool ->
203   ?scrollable:bool ->
204   ?popup:bool ->
205   ?border_width:int ->
206   ?width:int ->
207   ?height:int ->
208   ?packing:(widget -> unit) -> ?show:bool -> unit -> notebook
209
210 class packer :
211   Gtk.packer obj ->
212   object
213     inherit container_full
214     val obj : Gtk.packer obj
215     method pack :
216       ?side:Tags.side_type ->
217       ?anchor:Tags.anchor_type ->
218       ?expand:bool ->
219       ?fill:Tags.expand_type ->
220       ?border_width:int ->
221       ?pad_x:int ->
222       ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> widget -> unit
223     method reorder_child : widget -> pos:int -> unit
224     method set_child_packing :
225       ?side:Tags.side_type ->
226       ?anchor:Tags.anchor_type ->
227       ?expand:bool ->
228       ?fill:Tags.expand_type ->
229       ?border_width:int ->
230       ?pad_x:int ->
231       ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> widget -> unit
232     method set_defaults :
233       ?border_width:int ->
234       ?pad_x:int ->
235       ?pad_y:int -> ?i_pad_x:int -> ?i_pad_y:int -> unit -> unit
236     method set_spacing : int -> unit
237   end
238 val packer :
239   ?spacing:int ->
240   ?border_width:int ->
241   ?width:int ->
242   ?height:int ->
243   ?packing:(widget -> unit) -> ?show:bool -> unit -> packer
244
245 class paned :
246   Gtk.paned obj ->
247   object
248     inherit container_full
249     val obj : Gtk.paned obj
250     method add1 : widget -> unit
251     method add2 : widget -> unit
252     method event : event_ops
253     method child1 : widget
254     method child2 : widget
255     method gutter_size : int
256     method handle_size : int
257     method set_gutter_size : int -> unit
258     method set_handle_size : int -> unit
259   end
260 val paned :
261   Tags.orientation ->
262   ?handle_size:int ->
263   ?gutter_size:int ->
264   ?border_width:int ->
265   ?width:int ->
266   ?height:int ->
267   ?packing:(widget -> unit) -> ?show:bool -> unit -> paned