]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gObj.mli
...
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / gObj.mli
1 (* $Id$ *)
2
3 open Gtk
4
5 (* Object *)
6
7 class gtkobj :
8   'a obj ->
9   object
10     val obj : 'a obj
11     method destroy : unit -> unit
12     method get_id : int
13   end
14
15 class gtkobj_signals :
16   ?after:bool -> 'a obj ->
17   object ('b)
18     val obj : 'a obj
19     val after : bool
20     method after : 'b
21     method destroy : callback:(unit -> unit) -> GtkSignal.id
22   end
23
24 class gtkobj_misc : 'a obj ->
25   object
26     method get_type : string
27     method disconnect : GtkSignal.id -> unit
28     method handler_block : GtkSignal.id -> unit
29     method handler_unblock : GtkSignal.id -> unit
30   end
31
32 (* Widget *)
33
34 class event_signals :
35   ?after:bool -> [>`widget] obj ->
36   object ('a)
37     method after : 'a
38     method any :
39         callback:(Gdk.Tags.event_type Gdk.event -> bool) -> GtkSignal.id
40     method button_press : callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
41     method button_release :
42         callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
43     method configure : callback:(GdkEvent.Configure.t -> bool) -> GtkSignal.id
44     method delete : callback:([`DELETE] Gdk.event -> bool) -> GtkSignal.id
45     method destroy : callback:([`DESTROY] Gdk.event -> bool) -> GtkSignal.id
46     method enter_notify :
47         callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
48     method expose : callback:(GdkEvent.Expose.t -> bool) -> GtkSignal.id
49     method focus_in : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
50     method focus_out : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
51     method key_press : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
52     method key_release : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
53     method leave_notify :
54         callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
55     method map : callback:([`MAP] Gdk.event -> bool) -> GtkSignal.id
56     method motion_notify :
57         callback:(GdkEvent.Motion.t -> bool) -> GtkSignal.id
58     method property_notify :
59         callback:(GdkEvent.Property.t -> bool) -> GtkSignal.id
60     method proximity_in :
61         callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
62     method proximity_out :
63         callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
64     method selection_clear :
65         callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
66     method selection_notify :
67         callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
68     method selection_request :
69         callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
70     method unmap : callback:([`UNMAP] Gdk.event -> bool) -> GtkSignal.id
71   end
72
73 class event_ops : [>`widget] obj ->
74   object
75     method add : Gdk.Tags.event_mask list -> unit
76     method connect : event_signals
77     method send : Gdk.Tags.event_type Gdk.event -> bool
78     method set_extensions : Gdk.Tags.extension_events -> unit
79   end
80
81 class style : Gtk.style ->
82   object ('a)
83     val style : Gtk.style
84     method as_style : Gtk.style
85     method bg : Tags.state_type -> Gdk.Color.t
86     method colormap : Gdk.colormap
87     method copy : 'a
88     method font : Gdk.font
89     method set_background : Gdk.window -> Tags.state_type -> unit
90     method set_bg : (Tags.state_type * GDraw.color) list -> unit
91     method set_font : Gdk.font -> unit
92   end
93
94 class selection_data :
95   GtkData.Selection.t ->
96   object
97     val sel : GtkData.Selection.t
98     method data : string        (* May raise Null_pointer *)
99     method format : int
100     method selection : Gdk.atom
101     method seltype : Gdk.atom
102     method target : Gdk.atom
103     method set : typ:Gdk.atom -> format:int -> ?data:string -> unit
104   end
105
106 class drag_ops : [>`widget] obj ->
107   object
108     method connect : drag_signals
109     method dest_set :
110       ?flags:Tags.dest_defaults list ->
111       ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
112     method dest_unset : unit -> unit
113     method get_data : ?time:int -> context:drag_context -> Gdk.atom ->unit
114     method highlight : unit -> unit
115     method source_set :
116       ?modi:Gdk.Tags.modifier list ->
117       ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
118     method source_set_icon : ?colormap:Gdk.colormap -> GDraw.pixmap -> unit
119     method source_unset : unit -> unit
120     method unhighlight : unit -> unit
121   end
122
123 and misc_ops :
124   [>`widget] obj ->
125   object
126     inherit gtkobj_misc
127     val obj : Gtk.widget obj
128     method activate : unit -> bool
129     method add_accelerator :
130       sgn:(Gtk.widget, unit -> unit) GtkSignal.t ->
131       group:accel_group -> ?modi:Gdk.Tags.modifier list ->
132       ?flags:Tags.accel_flag list -> Gdk.keysym -> unit
133     method allocation : rectangle
134     method colormap : Gdk.colormap
135     method connect : misc_signals
136     method draw : Gdk.Rectangle.t option -> unit
137     method grab_default : unit -> unit
138     method grab_focus : unit -> unit
139     method has_focus : bool
140     method hide : unit -> unit
141     method hide_all : unit -> unit
142     method intersect : Gdk.Rectangle.t -> Gdk.Rectangle.t option
143     method is_ancestor : widget -> bool
144     method lock_accelerators : unit -> unit
145     method map : unit -> unit
146     method name : string
147     method parent : widget option
148     method pointer : int * int
149     method popup : x:int -> y:int -> unit
150     method realize : unit -> unit
151     method remove_accelerator :
152       group:accel_group -> ?modi:Gdk.Tags.modifier list -> Gdk.keysym -> unit
153     method reparent : widget -> unit
154     method set_app_paintable : bool -> unit
155     method set_can_default : bool -> unit
156     method set_can_focus : bool -> unit
157     method set_name : string -> unit
158     method set_sensitive : bool -> unit
159     method set_state : Tags.state_type -> unit
160     method set_style : style -> unit
161     method set_geometry :
162       ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> unit
163     method show : unit -> unit
164     method show_all : unit -> unit
165     method style : style
166     method toplevel : widget option
167     method unmap : unit -> unit
168     method unparent : unit -> unit
169     method unrealize : unit -> unit
170     method visible : bool
171     method visual : Gdk.visual
172     method visual_depth : int
173     method window : Gdk.window
174   end
175
176 and widget :
177   'a obj ->
178   object
179     inherit gtkobj
180     constraint 'a = [>`widget]
181     val obj : 'a obj
182     method as_widget : Gtk.widget obj
183     method coerce : widget
184     method drag : drag_ops
185     method misc : misc_ops
186   end
187
188 and misc_signals :
189   ?after:bool -> Gtk.widget obj ->
190   object ('b)
191     inherit gtkobj_signals 
192     val obj : Gtk.widget obj
193     method after : 'b
194     method draw : callback:(Gtk.rectangle -> unit) -> GtkSignal.id
195     method hide : callback:(unit -> unit) -> GtkSignal.id
196     method map : callback:(unit -> unit) -> GtkSignal.id
197     method parent_set : callback:(widget option -> unit) -> GtkSignal.id
198     method realize : callback:(unit -> unit) -> GtkSignal.id
199     method show : callback:(unit -> unit) -> GtkSignal.id
200     method state_changed :
201       callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.id
202     method style_set : callback:(unit -> unit) -> GtkSignal.id
203     method unmap : callback:(unit -> unit) -> GtkSignal.id
204   end
205
206 and drag_context :
207   Gdk.drag_context ->
208   object
209     val context : Gdk.drag_context
210     method context : Gdk.drag_context
211     method finish : success:bool -> del:bool -> time:int -> unit
212     method source_widget : widget 
213     method set_icon_pixmap :
214       ?colormap:Gdk.colormap -> GDraw.pixmap -> hot_x:int -> hot_y:int -> unit
215     method set_icon_widget : widget -> hot_x:int -> hot_y:int -> unit
216     method status : ?time:int -> Gdk.Tags.drag_action list -> unit
217     method suggested_action : Gdk.Tags.drag_action
218     method targets : Gdk.atom list
219   end
220
221 and drag_signals :
222   ?after:bool -> Gtk.widget obj ->
223   object ('a)
224     method after : 'a
225     method beginning :
226       callback:(drag_context -> unit) -> GtkSignal.id
227     method data_delete :
228       callback:(drag_context -> unit) -> GtkSignal.id
229     method data_get :
230       callback:(drag_context -> selection_data -> info:int -> time:int -> unit)
231       -> GtkSignal.id
232     method data_received :
233       callback:(drag_context -> x:int -> y:int ->
234                 selection_data -> info:int -> time:int -> unit) -> GtkSignal.id
235     method drop :
236       callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
237       GtkSignal.id
238     method ending :
239       callback:(drag_context -> unit) -> GtkSignal.id
240     method leave :
241       callback:(drag_context -> time:int -> unit) -> GtkSignal.id
242     method motion :
243       callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
244       GtkSignal.id
245   end
246
247 class widget_signals : ?after:bool -> 'a obj ->
248   object
249     inherit gtkobj_signals
250     constraint 'a = [>`widget]
251     val obj : 'a obj
252   end
253
254 class widget_full : 'a obj ->
255   object
256     inherit widget
257     constraint 'a = [>`widget]
258     val obj : 'a obj
259     method connect : widget_signals
260   end
261
262 val as_widget : widget -> Gtk.widget obj
263
264 val pack_return :
265     (#widget as 'a) ->
266     packing:(widget -> unit) option -> show:bool option -> 'a
267     (* To use in initializers to provide a ?packing: option *)